On: Surely you're joking, Comrade Beria

[sbierwagen]

>if two communists can't find an agreement, then one of them is enemy

Ah, an early version of Aumann's agreement theorem.

https://en.wikipedia.org/wiki/Aumann%27s_agreement_theorem