Αποστολή με SMS: On computational tractability for rational verification