Gunnar_Zarncke comments on Logical induction for software engineers