--- a/Quotient-Paper/document/root.tex	Sat Jun 12 06:35:27 2010 +0200
+++ b/Quotient-Paper/document/root.tex	Sat Jun 12 11:32:36 2010 +0200
@@ -37,7 +37,7 @@
 the procedure of lifting theorems from the raw level to the quotient level.
 The importance for programming language research is that many properties of
 programming language calculi are easier to verify over $\alpha$-equated, or
-$\alpha$-quotient, terms, than over ``raw'' terms.
+$\alpha$-quotient, terms, than over raw terms.
 \end{abstract}
 
 % generated text of all theories