Scope of Quantifiers