provenSet

Matched

proves

Formula