Bae's Theorem — LessWrong