deletions | additions       diff --git a/section_Convergence_When_do_the__.tex b/section_Convergence_When_do_the__.tex  index 745c46a..b6606ff 100644  --- a/section_Convergence_When_do_the__.tex  +++ b/section_Convergence_When_do_the__.tex 
...
\end{proof}  The above gives a characterization of the class of influence profiles on which \emph{all} opinion streams converge.   But it is also interesting to characterize the class of pairs of opinion and influence profiles which converge:  %But it is also interesting to characterize the class of  opinion profiles on which \emph{any} influence graph would make the resulting opinion stream converge: \begin{lemma}\label{lemma:opinion}  Let $\G=(G_{p_1},\dots,G_{p_m})$ be an influence profile and $\O=(O_1,\dots,O_n)$ be an opinion profile. Then the following are equivalent: