Vladimir_Nesov comments on Justifying Induction