Near Matches
Ignore Exact
Everything
2
inductive proof
See:
Mathematical Induction