Antisuji comments on Rationality Verification Opportunity?