Introducing the Instrumental Rationality Sequence — LessWrong