-- grhss
-----

f x | True = x+1	-- 1
    | False = True

-----

x | True = x+1		-- 2
  | False = x

-----