scratch
§
Example Where MIP Shows Extra Power over IP
created 2021-12-28
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).
❦