From c1a393ac4fdad1d2534a7e633ad7297741004904 Mon Sep 17 00:00:00 2001
From: hardroadcrush <130765493+hardroadcrush@users.noreply.github.com>
Date: Tue, 31 Mar 2026 01:37:13 -0900
Subject: [PATCH 1/3] Update sidenote-quantifiers.html

Made it much more understandable by
-Using cleaner explanations
-Removing redundant info
-Removing typos
---
 tutorials/online/sidenote-quantifiers.html | 24 +++++++---------------
 1 file changed, 7 insertions(+), 17 deletions(-)
diff --git a/tutorials/online/sidenote-quantifiers.html b/tutorials/online/sidenote-quantifiers.html
index f539209..422c367 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
@@ -15,7 +15,7 @@ <h2>Quantifiers</h2>
 <li> <tt><b> some x:X | formula </b></tt> - one or more
      <b><tt>x</b></tt> of type <b><tt>X</b></tt> satisfy
      <b><tt>formula</b></tt>. If there are no <b><tt>X</tt></b>, then this statement
-     is trivially false.</li>
+     is trivially false.</li>src
 <li> <tt><b> no x:X | formula </b></tt> - exactly zero
      <b><tt>x</b></tt> of type <b><tt>X</b></tt> satisfy
      <b><tt>formula</b></tt></li>
@@ -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 basic formats for using a quantifier are:</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>

From c4e18ea7243a46ae6fc750c587a65d5e6b6454ad Mon Sep 17 00:00:00 2001
From: hardroadcrush <130765493+hardroadcrush@users.noreply.github.com>
Date: Wed, 1 Apr 2026 19:56:32 -0900
Subject: [PATCH 2/3] Update sidenote-quantifiers.html

---
 tutorials/online/sidenote-quantifiers.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tutorials/online/sidenote-quantifiers.html b/tutorials/online/sidenote-quantifiers.html
index 422c367..60e1ec9 100644
--- a/tutorials/online/sidenote-quantifiers.html
+++ b/tutorials/online/sidenote-quantifiers.html
@@ -15,7 +15,7 @@ <h2>Quantifiers</h2>
 <li> <tt><b> some x:X | formula </b></tt> - one or more
      <b><tt>x</b></tt> of type <b><tt>X</b></tt> satisfy
      <b><tt>formula</b></tt>. If there are no <b><tt>X</tt></b>, then this statement
-     is trivially false.</li>src
+     is trivially false.</li>
 <li> <tt><b> no x:X | formula </b></tt> - exactly zero
      <b><tt>x</b></tt> of type <b><tt>X</b></tt> satisfy
      <b><tt>formula</b></tt></li>

From d0bd67ca28352b772f0b728f50d00fefa73c295b Mon Sep 17 00:00:00 2001
From: hardroadcrush <130765493+hardroadcrush@users.noreply.github.com>
Date: Fri, 10 Apr 2026 00:02:43 -0900
Subject: [PATCH 3/3] Update sidenote-quantifiers.html

---
 tutorials/online/sidenote-quantifiers.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tutorials/online/sidenote-quantifiers.html b/tutorials/online/sidenote-quantifiers.html
index 60e1ec9..2080138 100644
--- a/tutorials/online/sidenote-quantifiers.html
+++ b/tutorials/online/sidenote-quantifiers.html
@@ -32,7 +32,7 @@ <h2>Quantifiers</h2>
      be applied to a set or a relation.
 <hr WIDTH="100%">
 
-<p> The basic formats for using a quantifier are:</p>
+<p> The usual format for using a quantifier is:</p>
 
 <b><pre>
   quantifier variable:type | formula
