Anfonwch hwn fel neges destun: Towards semantics of guarded induction