changed tests to use verify, added provenance correction