Wyślij wiadomość: Towards semantics of guarded induction