higher bound on the
stack of a a ___