1. a : 
2. b : 
3. c:. c | a  c | b  c | 1 & 1 | c
4. z : 
5. z | a
6. z | b
  z | 1

None

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