higher bound on height
stack tops arch in ___