Se eu fosse construir uma IA usando o sistema PROOF da @Xyberinc, eu a chamaria de..... PROOFofTravis. :)