s/ProofSpecification/SpecificationProof