Scott Garrabrant comments on Logical induction for software engineers