Если бы я собирался создать ИИ, используя систему PROOF от @Xyberinc, я бы назвал его..... PROOFofTravis. :)