Pošalji tekstualnu poruku: Extended Comptation Tree Logic (Extended Abstract)