higher bound less on
self same self same bound ___