[OJFord]

Thanks, your first sentence is more like what I was expecting before reading the example.

I'm not familiar with that definition of induction, but I haven't studied ML at all.