Group universal quantification