sec_proof: rdf.NamedNode = ...