inextensibility

not defined yet