higher bound on the
stack in bound stack in stack ___