Ben Pace comments on Wrong by Induction