The rationale of PROV