Scott Garrabrant comments on History of the Development of Logical Induction