Si je devais construire une IA en utilisant le système PROOF de @Xyberinc, je l'appellerais..... PROOFofTravis. :)