Added quantifier verification method