deletions | additions       diff --git a/section_Fixpoint_Logics_for_Boolean__.tex b/section_Fixpoint_Logics_for_Boolean__.tex  index 61bb156..f6745aa 100644  --- a/section_Fixpoint_Logics_for_Boolean__.tex  +++ b/section_Fixpoint_Logics_for_Boolean__.tex 
...
\begin{proof}  \ldots  \end{proof}  It is worth spending a few words on how this result relates to Lemmas \ref{lemma:influence} and \ref{lemma:opinion}, as well as Theorem \ref{theorem:convergence}.  It follows that convergence of a BDP can be expressed by the following formula  \begin{equation}