Abstract Theories of Everything — LessWrong