TheOtherDave comments on 3 Levels of Rationality Verification