higher bound on height
line ___