inconvertibleness

not defined yet