Nisan's Shortform — LessWrong