Відправити по sms: On computational tractability for rational verification