Si fuera a construir una IA utilizando el sistema PROOF de @Xyberinc, lo llamaría..... PROOFofTravis. :)