--- a/Journal/Paper.thy	Fri Oct 07 21:15:35 2016 +0100
+++ b/Journal/Paper.thy	Fri Oct 21 14:47:01 2016 +0100
@@ -1081,7 +1081,7 @@
   \end{lemma}
 
   \begin{proof}
-  By definition the running thread has as precedence the maximum of
+  By definition the running thread has as current precedence the maximum of
   all ready threads, that is
 
   \begin{center}