the proof is in the heterogeneous agent swarm