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