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