TAPP: Theory and Practice of Provenance