inextensive

not defined yet