higher bound for the
stack less bound stack bound stack less
bound stack stack stack ___