In propositions which belong together in onedomain and in the deductive systems that can be made out of them we have a realm of ideal identities; and for these there exist easily understandable possibilities of lasting traditionalization.