sec_proofValue: rdf.NamedNode = ...