Given , scope of a quantifier is .