Corrected quantifiers