nonexpansive

not defined yet