higher bound for the
function in lining code a
a in ___