In what real-world situation could you be convinced that supposedly-two provers really actually can't communicate?