Morendil comments on Rationality Verification Opportunity?