4.522. Root of David