Chan John's Shortform — LessWrong