higher bound on the
stack age of stack top stack less
stack bound ___