higher bound on the
stack less on less less stack stack
stack less on stack ___