See MS I: Provenance.