higher bound for the

stack less than zero bound stack

top stack push stack stack✕