higher bound less on

self same self same bind self bind