djm4 has actually said a lot of what I had intended to say (although to an extent I also agree with simont about induction - but I suspect the difference there is largely semantic). I will still try to come back and re-read this to check if there are any points I want to make that djm4 didn't, though.