higher bound less on
self same self same elf ___