higher bound less tight
end ___