Group: universal quantification (1)

counter free hit invisible