higher bound on the
stack less in ___