इसका टेक्स्ट मैसेज भेजे: On computational tractability for rational verification