nonextensibness

not defined yet