deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 39db72e..82ff5ac 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
Second, it provides an abstract model with which to analyze some aspects the popular, and currently much discussed, aggregation system called liquid democracy \cite{liquid_feedback}. We will see that Boolean DeGroot processes offer a novel and natural angle on the issue of delegation cycles in liquid democracy.  \paragraph{Contributions of the paper}  The paper studies the convergence of Boolean DeGroot processes, characterizing them with necessary and sufficient conditions. In doing so the paper uses standard graph-theoretic tool tools  as well as techniques from modal fixpoint logics, showing how those formalisms can play thereby establishing  a useful role in studying fruitful interface between such logics and  qualitative models of opinion formation. diffusion.  The results we obtain on the characterization of convergence are then applied to provide novel insights into liquid democracy, which remains a rather underexplored system in the social-choice literature. \paragraph{Outline of the paper}