--- a/Quotient-Paper/document/root.tex	Thu Oct 14 15:58:34 2010 +0100
+++ b/Quotient-Paper/document/root.tex	Thu Oct 14 17:32:06 2010 +0100
@@ -69,7 +69,7 @@
 compositions of quotients and also specified completely the procedure 
 of lifting theorems from the raw level to the quotient level.
 The importance for theorem proving is that many formal
-verifications, in order to be feasible, require a convenient resoning infrastructure 
+verifications, in order to be feasible, require a convenient reasoning infrastructure 
 for quotient constructions.
 \end{abstract}