higher bound for the
stack less than stack depth less bound
___