--- a/quotes	Sat Jul 11 03:48:38 2015 +0000
+++ b/quotes	Sat Jul 11 04:21:06 2015 +0000
@@ -1244,3 +1244,4 @@
 <ais523> do we seriously not do quotes any more?
 <ais523> hppavilion1: there's not much point in `addquoting an `addquote unless the person who added it was somehow significant, or there's interesting context  <ais523> because you can tell it was added from the fact that it's there
 <ais523> (on another note, I love the way that the standard way to indicate that you get a reference is to make a different obscure reference to the same thing)
+<Jafet> Some people, when confronted with a problem, think "I know, I'll use the Banach-Tarski theorem."