Lumifer comments on Introducing the Instrumental Rationality Sequence