evel of first order predicate calculus, etc.?
 
Many such questions have already been addressed at one time or another in
email threads among the participants. Yet it appears that there is no way to
determine what has been resolved or agreed about these questions (and what
is still unresolved) without reviewing all the email correspondence, which
is not practical.
 
To address these issues, I recommend that the SUO participants take a
standard software engineering approach, and collaborate on development of