higher bound for the
stack top most stack ___