3.4.1 Guarded Linear Recursion