--- a/Journal/Paper.thy	Tue May 06 14:36:40 2014 +0100
+++ b/Journal/Paper.thy	Thu May 15 16:02:44 2014 +0100
@@ -845,9 +845,10 @@
   thread means, for example by giving an operational semantics for
   machine instructions. Therefore we cannot characterise what are ``good''
   programs that contain for every looking request also a corresponding
-  unlocking request for a resource. (HERE)
-
-
+  unlocking request for a resource. 
+  %
+  %(HERE)
+  %
   Therefore we
   leave it out and let the programmer assume the responsibility to
   program threads in such a benign manner (in addition to causing no