Comment by bsedlm

I'm still looking to understand the difference between recursive definitions and inductive ones...