higher bound less on
self same self same bind in ___