Provenance and logging ====================== TBD