Positive Sum Provenance