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