johnswentworth's Shortform — LessWrong