I was about to post your number 3 before I saw it here. Here's a link to it: http://www-formal.stanford.edu/jmc/recursive.html http://www-formal.stanford.edu/jm

I was about to post your number 3 before I saw it here. Here's a link to it: http://www-formal.stanford.edu/jmc/recursive.html http://www-formal.stanford.edu/jmc/recursive.html