On 8/31/06, Kris Schnee <kschnee@[...].net>  wrote:
>  It was an attempt at a joke...

So was this:

"""
Given Py and PyPy, you can trivially recursively prove any number of
Pys, including the special case of n=3
"""

So I guess I fail at being funny, or perhaps not everyone here has
been forced to do as many recursive proofs in college as I have (: