siIver comments on Instrumental Rationality Sequence Finished! (w/​ caveats)