higher bound on height
stack top less ins ___