inconvertibility
not defined yet