deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 9f5553e..8ec3646 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\begin{align*}  E &= \Set{x}{x \text{ is an acting entity (person)}}\\  q(x, y, A) =& x \text{ is/should/would be applying action } A \text{ to } y\\  X G(X  &\subset E\\ E,  Y &= X^c\\  G = X^c, A)  &= q(X, Y, A) \implies q(Y, X, A) \end{align*}  \end{subequations}