Ch2, Ex1

Kernel language transform of given program:

P = proc { $ X }
       local T in
      T = X>0
      if T then {P X-1} end
       end
    end

proc statement creates a value of procedure type and binds it to the identifier P. Second occurence of P is Free with respect to the proc statement as declaration of P is not inside it (from defn of free variable on page #64).