inconvertibilities

not defined yet