value-quantification

(2)