incoexistence

not defined yet