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