Group: universal quantification (1)