higher bound less on
self less self same ___