Enviar aquest missatge de text: On computational tractability for rational verification