Bohaska's Shortform — LessWrong