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 (: