diff --git a/tutorials/online/sidenote-quantifiers.html b/tutorials/online/sidenote-quantifiers.html
index f539209..2080138 100644
--- a/tutorials/online/sidenote-quantifiers.html
+++ b/tutorials/online/sidenote-quantifiers.html
@@ -7,7 +7,7 @@
   <body>
     <h2>Quantifiers</h2>
 
-<p> The Alloy quantifiers are </p>
+<p> The Alloy quantifiers are : <i>all</i>, <i>some</i> , <i>no</i>, <i>one</i>, <i>lone</i>. </p>
 <ul>
 <li> <tt><b> all x:X | formula </b></tt> - every <b><tt>x</b></tt> of type
      <b><tt>X</b></tt> satisfies <b><tt>formula</b></tt>.  If there are
@@ -28,27 +28,17 @@ <h2>Quantifiers</h2>
 
 <p> Note that a 'formula' is something that evaluates to a boolean
     value, as opposed to an 'expression' which evaluates to a
-    (relational) value. With "some", "no", one", and "lone", you can also apply
-     them to a set or a relation like this:</p>
-
-<ul>
-<li> <tt><b> some X </b></tt> - there is at least one
-     <b><tt>X</b></tt></li>
-<li> <tt><b> no X </b></tt> - there are no <b><tt>X</b></tt>'s</li>
-<li> <tt><b> one X </b></tt> - there is exactly one <b><tt>X</b></tt></li>
-<li> <tt><b> lone X </b></tt> - there are either zero or one
-     <b><tt>X</b></tt>'s</li>
-</ul>
-
+    (relational) value. The quantifiers "some", "no", one", and "lone", can also
+     be applied to a set or a relation.
 <hr WIDTH="100%">
 
-<p> The basic format for a quantifier is</p>
+<p> The usual format for using a quantifier is:</p>
 
 <b><pre>
   quantifier variable:type | formula
 </b></pre>
 
-<p> where the formula may includes references to the quantifier
+<p> where the formula may include references to the quantifier
     variable.  An alternative notation is:</p>
 
 <b><pre>
@@ -73,7 +63,7 @@ <h2>Quantifiers</h2>
     arbitrarily complex formulas.</p>
 
 <p> However, be warned that nested quantifiers may cause your model to
-    become intractable.  In generaly, try not to stack more than two
+    become intractable.  In general, try not to stack more than two
     or three of them together.</p>
 
   </body>
