higher bound for the

stack less than zero bound stack

top zero stack depth✕