higher bound on height
stack less on less stack ___