এই পাঠটি: Towards semantics of guarded induction