Near Matches
Ignore Exact
Everything
2
Proof by contradiction
See also:
ex absurdo