x
Revelation and mathematics — LessWrong