higher bound less on
self same self ___