Layering in Provenance Systems.