+ Extended to represent provenance