(External) Provenance data structures: p-assertions, interaction record, etc .