Carl Sagan, nuking the moon, and not nuking the moon — LessWrong