Any trivial is of the third type because “The Existence of a Trivial is Indeterminate”.

This last statement can be proved quite easily. It says that given any unique object, there is no way to determine if the object is really itself, or if it is in fact a trivial clone of itself. This is indeterminate.

One can exploit this existential indeterminacy of the trivials to make all kinds of unusual models.