.
non-communicating provers in the MIP do not have that luxury. It is this non-adaptivity of the MIP provers that makes it easier to catch them in a lie. At the other end of the spectrum would be the PCP. Here the whole proof string is fixed a priori. So no adaptive strategy is possible in any of the