deletions | additions       diff --git a/section_Convergence_When_do_the__.tex b/section_Convergence_When_do_the__.tex  index b6606ff..7658e69 100644  --- a/section_Convergence_When_do_the__.tex  +++ b/section_Convergence_When_do_the__.tex 
...
\end{itemize}  \end{lemma}  This trivially implies that the class of opinion profiles which guarantees convergence (for any influence profile), is the one where everybody agrees on everything already. Note that this is also the only stable opinion profile, i.e, all BDPs which converge converge towards a profile where everybody agrees on everything, a global consensus.  Combining the above results we obtain:  \begin{theorem} \label{theorem:convergence}  Let $\G=(G_{p_1},\dots,G_{p_m})$ be an influence profile and $\O=(O_1,\dots,O_n)$ be an opinion profile. The BDP converges for $\O$ on $\G$ if and only if: