AI is now actually guaranteed to never lose. A proof is provided by testAll.