higher bound on the

stack top stack age stack less stack✕