unexpansive
not defined yet