sec_di_proof: rdf.NamedNode = ...