Rationality Verification Opportunity? — LessWrong