Either

Provenance

Empty

Provenance

EndoK

fp

equals

Provenance

evalNT

fp