deletions | additions       diff --git a/conclusions.tex b/conclusions.tex  index 4441074..d3b3730 100644  --- a/conclusions.tex  +++ b/conclusions.tex 
...
We wish to thank Jan Vitek, Petr Maj, Karl Millar, and Olivier Fl{\"u}ckiger for many enlightening discussions. We are especially grateful to Jan for sparking our interest in this exciting line of research. % during a pleasant visit at Purdue University and for interesting conversations in many other occasions.  %\fi  \paragraph{Live Version of this Paper.}  We complement the traditional scholarly article publication model by maintaining a live version of this paper at \url{https://www.authorea.com/users/55853/articles/66046}. The live version incorporates continuous feedback by the community, providing post-publication fixes, improvements, and extensions.