[deleted] comments on Introducing the Instrumental Rationality Sequence