Artifacts of mySQL provenance #13