and

is the negation of their incompatibility.

Observe next that

means "

implies itself." This is a particular case of