burrito's Shortform — LessWrong