universal quantification