Vaniver's Shortform — LessWrong