أرسل هذا في رسالة قصيرة: On computational tractability for rational verification