diff -r 2f5edb146f7e -r 1f073030b97a doc-src/TutorialI/Rules/rules.tex
--- a/doc-src/TutorialI/Rules/rules.tex	Fri Jan 18 17:46:17 2002 +0100
+++ b/doc-src/TutorialI/Rules/rules.tex	Fri Jan 18 18:30:19 2002 +0100
@@ -1245,7 +1245,7 @@
 ``the greatest divisior of~$n$.''
 It returns an arbitrary value unless the formula has a unique solution.
 An \textbf{indefinite description} formalizes the word ``some,'' as in
-``some member of~$S$.''  It differs from a definition description in not
+``some member of~$S$.''  It differs from a definite description in not
 requiring the solution to be unique: it uses the axiom of choice to pick any
 solution.