--- a/Paper/Paper.thy	Thu Apr 08 14:18:38 2010 +0200
+++ b/Paper/Paper.thy	Fri Apr 09 11:08:05 2010 +0200
@@ -424,7 +424,7 @@
   permutations.  The sorts of atoms can be used to represent different kinds of
   variables, such as the term-, coercion- and type-variables in Core-Haskell.
   It is assumed that there is an infinite supply of atoms for each
-  sort. However, in order to simplify the description, we shall restrict ourselves 
+  sort. However, in the intrest of brevity, we shall restrict ourselves 
   in what follows to only one sort of atoms.
 
   Permutations are bijective functions from atoms to atoms that are