@@ -673,11+673,11 @@ Here's how it looks to say the same thing in various of these languages.
and there's no more mutation going on there than there is in:
-<!--
+<!--
<pre>
<code>∀x. (F x or ∀x (not (F x)))</code>
</pre>
--->
+-->
When a previously-bound variable is rebound in the way we see here, that's called **shadowing**: the outer binding is shadowed during the scope of the inner binding.