Pošalji tekstualnu poruku: On computational tractability for rational verification