diff -r 1a9dbfe04f7d -r fc5bfd0cc1cd Quotient-Paper/document/root.tex
--- a/Quotient-Paper/document/root.tex	Mon Jun 07 16:17:35 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Thu Jun 10 10:53:51 2010 +0200
@@ -33,7 +33,7 @@
 quotient package by Homeier. In doing so we extended his work in order to deal
 with compositions of quotients. Also, we designed our quotient package so that
 every step in a quotient construction can be performed separately and as a
-result were able to specify completely the procedure of lifting theorems from
+result we were able to specify completely the procedure of lifting theorems from
 the raw level to the quotient level.  The importance to programming language
 research is that many properties of programming languages are more convenient
 to verify over $\alpha$-quotient terms, than over raw terms.