Derived contract and provenance are written here.
