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

1

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

7 steps

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