WYCS: working on quantifiers.