noninfusibleness

not defined yet