FinalFormal2's Shortform — LessWrong