JohnBuridan's Shortform — LessWrong