“Do unto others as you would have them do unto you” \E &= {x }\\ \A &= {a }\\ \B &= \left\{true, false\right\}\\ q : \A, \E, \E &\to \B\\ q(a, x, y) =& x a y\\ G =& \\ =& \forall a \in A : X \subset \E \land q(a, X, X^\complement) \implies q(a, X^\complement, X)\\ G \implies& “Never impose on others what you would not choose for yourself” G &= \forall a \in A : X \subset \E \land \neg q(a, X, X^\complement) \implies \neg q(a, X^\complement, X)\\