higher bound for the
stack less than bound stack top stack
___