Paul and Carole/Definition

Names used for certain pairs of players in game theory and cryptology; see Alice and Bob.