Pošalji tekstualnu poruku: Towards semantics of guarded induction