nonextendibleness

not defined yet