nonextensibleness

not defined yet