Alex Flint comments on Logical induction for software engineers