Sunday, February 13, 2011

Classic Pepe

4 comments:

Mr roT said...

Proof by definition. Isn't that what \CDs are all about?

Tecumseh said...

Right. A picture-perfect proof in Pepean predicate calculus.

Mr roT said...

Publish!

Tecumseh said...

More canonical Pepe.