timtyler comments on Justifying Induction