overexpansiveness

not defined yet