diff --git a/document/document.tex b/document/document.tex
index 3b61632..8386e8b 100644
--- a/document/document.tex
+++ b/document/document.tex
@@ -32,7 +32,7 @@ A program $\P$ is a set of (normal) rules. An ontology $\OO$ is a first-order fo
 The lattice $\langle \L^2, \preceq_p \rangle$
 
 \begin{align*}
-    \Gamma(T, P) &\define \{ \head(r) ~|~ r \in \P,~ T \subseteq \bodyp(r),~ \bodyn(r) \intersect P = \emptyset \}\\
+    \Gamma(T, P) &\define \{ \head(r) ~|~ r \in \P,~  \bodyp(r) \subseteq T,~ \bodyn(r) \intersect P = \emptyset \} \union \{ a \in \L ~|~ \OBO{T} \models a \}\\
     extract(T) &\define \{ a \in \L ~|~ \OBO{T} \models \neg a  \} \\
     \Phi(T, P) &\define \Bigl( \Gamma(T, P), \Gamma(P, T) \setminus extract(T) \Bigr)
 \end{align*}