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