Hierarchy, Proof


v20240901