Envoyer par SMS: Towards semantics of guarded induction