A class with universal quantification constraint on property I.