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