extensivity

not defined yet