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