noninfusibleness
not defined yet