Nuclear war would have been unimaginably awful, and Petrov deserves all the positive attention he's getting and more. But there's a distinction between destroying the world and destroying much of the world, and our descendants a millions years from now, if any, will find this distinction very significant.