Def System == {M:(IdMsgA)| loc:Id. Feasible(M(loc)) }

is mentioned

In prior sections: mb event system 6

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