Anfonwch hwn fel neges destun: On computational tractability for rational verification