deletions | additions       diff --git a/section_Colorability_and_unanimity_In__.tex b/section_Colorability_and_unanimity_In__.tex  index a101047..426272d 100644  --- a/section_Colorability_and_unanimity_In__.tex  +++ b/section_Colorability_and_unanimity_In__.tex 
...
%\item $\O_i^{n+1}(p_j)=\O_i^{n}(p_j)$ if for some $j,k\in R_j(i)$,$\O_j^{n}(p_j)\neq \O_k^{n}(p_j)$, and   %\item $\O_i^{n+1}(p_j)\neq \O_i^{n}(p_j)$ otherwise.   %\end{itemize}  I %I  AM NOT CONVINCED BY THE ABOVE STEP. MAYBE THIS (I ALSO SIMPLIFY NOTATION): \item for all $i \in \N$, $p \in \Atoms$:  \begin{itemize}  \item