この資料をSMS送信: Extended Comptation Tree Logic (Extended Abstract)