sjadler's Shortform — LessWrong