higher bound on height
of stack able holder proof
stack less ___