Example where MIP shows extra power over IP
- God tells us chess board is draw. Can't verify
- If two Gods, can make one God play against the other. So if one says draw, other says win, can have them play and find out who is lying!
- Hence, MIP has more power than IP? (Intuitively at least).