unextendibility

not defined yet