Nisan comments on History of the Development of Logical Induction