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