Interactive proofs — mathematical games that underlie much modern cryptography — work even if players try to use quantum information to cheat. Computer scientists show there are multiprover interactive proofs that hold up against entangled respondents.