Summarizing the Sequences Proposal — LessWrong