unconvertibleness

not defined yet