higher bound on height
stack top most stack mates ___