diff -r a0c7290a4e27 -r 27cdc0a3a763 PAPER-TODO
--- a/PAPER-TODO	Wed Apr 21 12:25:52 2010 +0200
+++ b/PAPER-TODO	Mon Apr 26 10:01:13 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