higher bound less tight
a in ___