The six cases include a universal description whose external instantiation is impossible.