countdown : n -> when n is 0 then 0 _ then countdown (n - 1); result : countdown 3;