Group universal quantification1