value-quantification

(1)