Say "for every value" to make universal quantification clearer