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