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