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