higher bound on height
stack top lines define able
___