WYCS: more improvements to quantifiers.