-

Final revisions for compded paper.

Messing with ZFC in twelf.