Wyślij wiadomość: On computational tractability for rational verification