lazy quantification