higher bound on height
stack tops arch like ___