higher bound on the
stack in its stack ___