extendedness

not defined yet