provenance checking