higher bound on height
of a versions ___