deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 7fd10f5..4b86692 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\end{itemize}  \paragraph{Outline of the paper}  Section \ref{sec:preliminaries} introduces the paper's notation and the key definition of Boolean DeGroot process. Section \ref{sec:convergence} studies necessary and sufficient conditions for those processes to converge. Section \ref{sec:logic} shows how off-the-shelf fixpoint logics (specifically the modal $\mu$-calculus) can be used to specifies properties of such processes formally. Section \ref{sec:liquid} shows how Boolean DeGroot processes relate to liquid democracy, contributing some novel insights into the understanding of delegation cycles. Section \ref{sec:conclusions} concludes the paper and sketches some on-going lines of research.  %%%%%%%%%%%%%%%%%%%%%%%%%