Adequacy, Proof


v20240901