Near Matches
Ignore Exact
Everything
2
What the Thinker thinks, the Prover proves