Background The Toffoli gate is a 3-input, 3-output classical logic gate. It sends $(x, y, a)$ to $(x, y, a \oplus (x \cdot y))$. It is significant in that it is universal for reversible (classical) computation. The Popescu-Rohrlich box is the simplest example of a non-signaling correlation. It ...