Відправити по sms: Towards semantics of guarded induction