Each agent measures their assigned system in a particular basis, as defined above. Upon their measurement result, the agent now starts to reason about the results of other agents by using logical arguments compatible with quantum theory. It is assumed that all agents know about the experimental protocol and they all know quantum theory. This means that, upon having received a particular measurement outcome, each agent may predict some of the measurement results of the other agents. In the end, all the logical statements of the agents are combined and, after repeating the experiment formula_77 times, a contradiction arises.