WYCS: working on bounded quantification.
WYCS: making progress with bounded quantification.  Currently, improving the printing of wycs files.