Definition Type2 := Type.
Definition Type1 := Type : Type2.
Definition Inconsistency := Type2 : Type1.