deletions | additions       diff --git a/section_Colorability_and_unanimity_In__.tex b/section_Colorability_and_unanimity_In__.tex  index d112221..bae95e6 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 AM NOT CONVINCED BY THE ABOVE. ABOVE STEP.  MAYBE THIS: for all $i \in \N$, $p \in \Atoms$:  \begin{itemize}  \item