quantification examples