deletions | additions       diff --git a/untitled.tex b/untitled.tex  index f189a0e..9f5553e 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 &\subset E,\\ E\\  Y &= X^c,\\ X^c\\  G &= q(X, Y, A) \implies q(Y, X, A)  \end{align*}  \end{subequations}