eigen's Shortform — LessWrong