इसका टेक्स्ट मैसेज भेजे: Extended Comptation Tree Logic (Extended Abstract)