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