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

1

(i.if i even f(i) else g(i) fi) zero beyond max(a;b)

6 steps

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