Үүнийг мессежээр илгээх: On computational tractability for rational verification