or in other words, interpret the rest of the file or interactive session with `bar` assigned the function `(lambda (x) B)`.
-<!--
-
10. Shadowing
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>