WYCS: very minor tweaks so that quantifiers do something again.