JohnWittle's Shortform — LessWrong