1. f : 
2. g : 
3. b : 
4. f zero beyond b
5. a : 
6. g zero beyond a
  (i.if i even f(i) else g(i) fi) zero beyond max(a;b)

1

7. y :  8. max(a;b)<y   if y even f(y) else g(y) fi = 0

5 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html