hankx7787 comments on Rationality when it’s somewhat hard