--- a/Attic/FIXME-TODO	Fri Feb 26 16:15:03 2010 +0100
+++ b/Attic/FIXME-TODO	Fri Feb 26 16:22:47 2010 +0100
@@ -29,6 +29,9 @@
 Lower Priority
 ==============
 
+- the quot_lifted attribute should rename variables so they do not
+  suggest that they talk about raw terms.
+
 - accept partial equivalence relations
 
 - think about what happens if things go wrong (like