Gdybym miał zbudować AI używając systemu PROOF od @Xyberinc, nazwałbym to..... PROOFofTravis. :)