--- a/doc-src/Nitpick/nitpick.tex Fri Nov 18 11:47:12 2011 +0100
+++ b/doc-src/Nitpick/nitpick.tex Fri Nov 18 11:47:12 2011 +0100
@@ -1831,7 +1831,7 @@
{\slshape Nitpick ran out of time after checking 7 of 10 scopes.}
\postw
-We could continue like this and sketch a complete theory of AA trees. Once the
+We could continue like this and sketch a full-blown theory of AA trees. Once the
definitions and main theorems are in place and have been thoroughly tested using
Nitpick, we could start working on the proofs. Developing theories this way
usually saves time, because faulty theorems and definitions are discovered much