WYCS: working on quantifier support.