On 8/29/06, Kris Schnee <kschnee@[...].net>  wrote:
>  Why, a simulated version of Python of course -- PyPyPy!

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

Or in other words, I still am not sure what you're asking. PyPy can
run PyPy, which can run PyPy which can run PyPy. Does this answer your
question?