irving's Shortform — LessWrong