higher bound less on
self same in ___