higher bound on height
stack less as under ___