Group universal-quantification1