Group: universal quantification (1) results found