A: In fact, we can figure out surprisingly quickly what happens in complicated\-looking systems of agents that are all trying to prove things about other agents using first\-order logic\. Like, you can hand me some horrific\-looking system of "Agent 1 cooperates if it proves that Agent 2 defects against Agent 3 but not against Agent 4, Agent 2 cooperates if it proves that Agent 1 cooperates and Agent 3 defects, etcetera" and I toss it into a short computer program and give you the result one millisecond later\. So we can actually build agents like FairBot2 and run them in complicated tournaments, looking for programs that seem smarter than FairBot2\.
and I can toss it?