higher bound on height
stack overflow proof stack proof
ward ___