x
Souza Theorem of Everything — LessWrong