higher bound on height
stack age age age stack time bound
stack ___