User:Eequor/π

$$ a, \forall r: r \not\in \mathbb{M}_c \implies \lnot U(r, a) $$  This article is an abstract lump of ugly math. For a much less technical description, please see . If you understand the following discussion, please consider [ editing it] to make the article more approachable.