EIS XII: Summary — LessWrong