deletions | additions       diff --git a/untitled.tex b/untitled.tex  index e043d36..2d7c30c 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
q : \A, \E, \E &\to \B\\  q(a, x, y) =& x \text{ is/should/would be applying action } a \text{ to } y\\  G : \forall a \in A &: X \subset \E \land q(a, X, X^\complement) \implies q(a, X^\complement, X)  \\&\iff \\\iff&  \text{Do unto others as you would have them do unto you}\\ G \implies   \end{align*}  \end{subequations}