Was Carl Segan an Agnostic Prophet? — LessWrong