JoshuaZ comments on Efficient Induction

[JoshuaZ]

Hmm, yes you are correct. I was being stupid.