nonextensibility

not defined yet