Text this: Towards semantics of guarded induction