JohnGreer comments on Introducing the Instrumental Rationality Sequence