diff -r 6c5e3ac737d9 -r 77eccce38a17 PAPER-TODO
--- a/PAPER-TODO	Wed Apr 21 19:10:55 2010 +0200
+++ b/PAPER-TODO	Wed Apr 21 19:11:51 2010 +0200
@@ -12,9 +12,6 @@
 
 I didn't quite get top of second column, p. 6
 
-"the problem Pottier and Cheney pointed out": I had forgotten it in the
-meantime
-
 the equation in the first actuall bullet on p. 8 lacks it =?
 
 missing v. spaces, top of 2nd col p. 8
\ No newline at end of file