higher bound on the
stack in bound stack less bound less
stack stack less ___