Finish the meaning of provenance.
Notes for Hook Hua's talk on PROV-ES.