Quantifiers, alternations