Can you prove that 0 = 1? — LessWrong