Textmeddelande: Towards semantics of guarded induction