 On this basis one can easily conclude that universals and individuals can never be the same, at least because of the forms of generality (which cannot be predicated of individuals) and of thisness (which cannot be predicated of universals). So Penbygull had to put forward new criteria for identity and distinction. First of all, he distinguishes between the notion of non-identity and that of difference (or distinction) and denies that the notion of difference implies that of non-identity (De universalibus, p. 190); then he affirms that the two notions of difference and (real) identity are logically compatible (ibid.); finally he suggests the following definitions for these three notions non-identity, difference or distinction, and (absolute) identity (De universalibus, pp. 190–91):