Unknowns comments on Justifying Induction

[Unknowns]

It was correct but perhaps unnecessary.