higher bound for the
stack less bound less stack bound less
stack stack less ___