inconversibility

not defined yet