higher bound on height
stack overflow proof builders
___