higher bound on height
of stack able holder proof
able ___