higher bound on the
stack of ___