 However, a more general application of the two-level notion is possible. In fact, it can be applied to any type of object K, such that the criterion of identity for Ks can be thought of as an equivalence relation between a distinct type of object, K*s, but some such objects may intuitively be regarded as concrete.