[sfvisser]

Reminds me of this classic doing the same: http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...

[sevensor]

I’ve read the post carefully and I still don’t get how they proved Santa Claus without proving the proposition.