higher bound on height
of stack able holder proof
read ___