nonexpansively

not defined yet