deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 2d7c30c..0c9adbd 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
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& \text{Do unto others as you would have them do unto you}\\  G \implies \text{Do BAD STUFF unto others as you would have them do BAD STUFF unto you}  \end{align*}  \end{subequations}