Re-do the provenance appendix