Programs to prove game theory.