deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 24088cc..5a9957d 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 \text{Do unto others as you would have them do unto you}\\  G \implies  \end{align*}  \end{subequations}