higher bound on height
stack top line ward ___