pub const ARTIFACT_CERTIFICATE_ROOT: &str = "AverCert.Artifact.certificate";
Named theorem audited by the checker-owned witness.