x
Bae's Theorem — LessWrong