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