WYCS: added temporary support for quantifiers.
WYCS: added temporary support for quantification as well.