--- a/provsec/paper.tex	Tue Apr 13 12:42:06 2010 +0200
+++ b/provsec/paper.tex	Tue Apr 13 12:56:07 2010 +0200
@@ -387,9 +387,9 @@
   %\item Input/output values.
   %\item Unknown random values (for hiding secret values, such as the
   %  variable $b$ in the above example).
-\item Range analysis, at least keeping track of which secret values
-  contain Boolean values (such as the variable $bigger$ in the above
-  example).
+\item Range analysis, keeping track of the intervals which we can
+  guarantee variables to be in. This is especially convenient for
+  Boolean values (such as the variable $bigger$ in the above example).
 \end{itemize}
 
 The feedback from the verifier to the programmer is used to alert the