higher bound on height

of stack able holder proof

stack over powers✕