Description: Two classes are not elements of each other simultaneously. This is just a rewriting of en2lp and serves as an example in the context of Godel codes, see elnanelprv . (Contributed by AV, 5-Nov-2023) (New usage is discouraged.)