Def p = q == 1of(p) = 1of(q)(2of(p)=2of(q))

is mentioned

In prior sections: mb event system 3

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