nonexpansibility

not defined yet