diff --git a/docs/beta/dist/debuggingbook-1.2.3.tar.gz b/docs/beta/dist/debuggingbook-1.2.3.tar.gz
index bfb7afa8..f6a3452f 100644
Binary files a/docs/beta/dist/debuggingbook-1.2.3.tar.gz and b/docs/beta/dist/debuggingbook-1.2.3.tar.gz differ
diff --git a/docs/beta/dist/debuggingbook-code.zip b/docs/beta/dist/debuggingbook-code.zip
index 0bb47c2c..7b8ab684 100644
Binary files a/docs/beta/dist/debuggingbook-code.zip and b/docs/beta/dist/debuggingbook-code.zip differ
diff --git a/docs/beta/dist/debuggingbook-notebooks.zip b/docs/beta/dist/debuggingbook-notebooks.zip
index 7f496ea3..83430b43 100644
Binary files a/docs/beta/dist/debuggingbook-notebooks.zip and b/docs/beta/dist/debuggingbook-notebooks.zip differ
diff --git a/docs/beta/html/IllustratedCode.html b/docs/beta/html/IllustratedCode.html
index ae8ef29f..0305918b 100644
--- a/docs/beta/html/IllustratedCode.html
+++ b/docs/beta/html/IllustratedCode.html
@@ -12037,7 +12037,7 @@
 <div class="text_cell_render border-box-sizing rendered_html"><p>Go and</p>
 <ul>
 <li>Read the <a href="https://www.slideshare.net/andreas.zeller/illustrated-code-ase-2021">talk slides</a></li>
-<li><a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/master?urlpath=lab/tree/docs/notebooks/IllustratedCode.ipynb">Interact</a> with the notebook </li>
+<li><a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/HEAD?labpath=docs/notebooks/IllustratedCode.ipynb">Interact</a> with the notebook </li>
 </ul>
 </div>
 </div>
@@ -12635,7 +12635,7 @@
 <div class="output_area">
 
 <div class="output_text output_subarea output_execute_result">
-<pre>0.14820550803665355
+<pre>0.1497593307030911
 </pre>
 </div>
 
@@ -12659,7 +12659,7 @@
 <div class="output_area">
 
 <div class="output_text output_subarea output_execute_result">
-<pre>0.24632015896531811
+<pre>0.2586060460052977
 </pre>
 </div>
 
@@ -13184,17 +13184,17 @@
 Client-&gt;&gt;+Server: middle(z=20, y=50, x=30)
 Server--&gt;&gt;-Client: 30
 Client-&gt;&gt;+Server: __del__(self=middle)
-Client-&gt;&gt;+Server: ref(self=&lt;z3.z3.Context object at 0x140a8d1b0&gt;)
-Server--&gt;&gt;-Client: &lt;ContextObj object at 0x1408fe740&gt;
-Client-&gt;&gt;+Server: ref(self=&lt;z3.z3.Context object at 0x140a8d1b0&gt;)
-Server--&gt;&gt;-Client: &lt;ContextObj object at 0x1408fe740&gt;
+Client-&gt;&gt;+Server: ref(self=&lt;z3.z3.Context object at 0x12fa38970&gt;)
+Server--&gt;&gt;-Client: &lt;ContextObj object at 0x12a51a240&gt;
+Client-&gt;&gt;+Server: ref(self=&lt;z3.z3.Context object at 0x12fa38970&gt;)
+Server--&gt;&gt;-Client: &lt;ContextObj object at 0x12a51a240&gt;
 Client-&gt;&gt;+Server: as_ast(self=middle)
-Server--&gt;&gt;-Client: &lt;Ast object at 0x1408fea40&gt;
-Client-&gt;&gt;+Server: Z3_dec_ref(_elems=&lt;z3.z3core.Elementaries object at 0x1409e1960&gt;, a1=&lt;Ast object at 0x1408fea40&gt;, a0=&lt;ContextObj object at 0x1408fe740&gt;)
-Client-&gt;&gt;+Server: from_param(obj=&lt;ContextObj object at 0x1408fe740&gt;)
-Server--&gt;&gt;-Client: &lt;ContextObj object at 0x1408fe740&gt;
-Client-&gt;&gt;+Server: from_param(obj=&lt;Ast object at 0x1408fea40&gt;)
-Server--&gt;&gt;-Client: &lt;Ast object at 0x1408fea40&gt;
+Server--&gt;&gt;-Client: &lt;Ast object at 0x12a51a540&gt;
+Client-&gt;&gt;+Server: Z3_dec_ref(_elems=&lt;z3.z3core.Elementaries object at 0x12f999120&gt;, a1=&lt;Ast object at 0x12a51a540&gt;, a0=&lt;ContextObj object at 0x12a51a240&gt;)
+Client-&gt;&gt;+Server: from_param(obj=&lt;ContextObj object at 0x12a51a240&gt;)
+Server--&gt;&gt;-Client: &lt;ContextObj object at 0x12a51a240&gt;
+Client-&gt;&gt;+Server: from_param(obj=&lt;Ast object at 0x12a51a540&gt;)
+Server--&gt;&gt;-Client: &lt;Ast object at 0x12a51a540&gt;
 Server--&gt;&gt;-Client
 Server--&gt;&gt;-Client</code></pre>
 
@@ -13254,12 +13254,9 @@
 <div class="output_area">
 
 <div class="output_subarea output_stream output_stdout output_text">
-<pre><span class="ansi-red-fg">ERROR: pip&#39;s dependency resolver does not currently take into account all the packages that are installed. This behaviour is the source of the following dependency conflicts.
-pytest-asyncio 0.19.0 requires pytest&gt;=6.1.0, but you have pytest 3.10.1 which is incompatible.
-pytest-html 3.1.1 requires pytest!=6.0.0,&gt;=5.0, but you have pytest 3.10.1 which is incompatible.
-pytest-rerunfailures 10.2 requires pytest&gt;=5.3, but you have pytest 3.10.1 which is incompatible.
-pytest-xdist 2.5.0 requires pytest&gt;=6.2.0, but you have pytest 3.10.1 which is incompatible.</span><span class="ansi-red-fg">
-</span>
+<pre>
+<span class="ansi-bold">[</span><span class="ansi-blue-fg">notice</span><span class="ansi-bold">]</span> A new release of pip is available: <span class="ansi-red-fg">24.0</span> -&gt; <span class="ansi-green-fg">24.1.1</span>
+<span class="ansi-bold">[</span><span class="ansi-blue-fg">notice</span><span class="ansi-bold">]</span> To update, run: <span class="ansi-green-fg">pip install --upgrade pip</span>
 </pre>
 </div>
 
@@ -13876,7 +13873,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/debuggingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/IllustratedCode.ipynb" target=_blank)>Last change: 2023-11-11 18:05:06+01:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/IllustratedCode.ipynb" target=_blank)>Last change: 2024-06-29 18:27:38+02:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -13892,19 +13889,19 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/IllustratedCode.html">Illustrated Code</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/IllustratedCode.html">https://www.debuggingbook.org/beta/html/IllustratedCode.html</a>.  Retrieved 2023-11-11 18:05:06+01:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/IllustratedCode.html">Illustrated Code</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/IllustratedCode.html">https://www.debuggingbook.org/beta/html/IllustratedCode.html</a>.  Retrieved 2024-06-29 18:27:38+02:00.
 </p>
 <pre>
-@incollection{debuggingbook2023:IllustratedCode,
+@incollection{debuggingbook2024:IllustratedCode,
     author = {Andreas Zeller},
     booktitle = {The Debugging Book},
     title = {Illustrated Code},
-    year = {2023},
+    year = {2024},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/html/IllustratedCode.html}},
-    note = {Retrieved 2023-11-11 18:05:06+01:00},
+    note = {Retrieved 2024-06-29 18:27:38+02:00},
     url = {https://www.debuggingbook.org/beta/html/IllustratedCode.html},
-    urldate = {2023-11-11 18:05:06+01:00}
+    urldate = {2024-06-29 18:27:38+02:00}
 }
 </pre>
 </div>
diff --git a/docs/beta/html/index.html b/docs/beta/html/index.html
index 59627959..4c1a6ea7 100644
--- a/docs/beta/html/index.html
+++ b/docs/beta/html/index.html
@@ -12031,7 +12031,7 @@
 <ul>
 <li><p>You can <strong>read chapters in your browser</strong>.  Check out the list of chapters in the menu above, or start right away with the <a href="Intro_Debugging.html">introduction to debugging</a> or <a href="Debugger.html">how debuggers work</a>.  All code is available for download.</p>
 </li>
-<li><p>You can <strong>interact with chapters as Jupyter Notebooks</strong> (beta).  This allows you to edit and extend the code, experimenting <em>live in your browser.</em>  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/master?filepath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a></p>
+<li><p>You can <strong>interact with chapters as Jupyter Notebooks</strong> (beta).  This allows you to edit and extend the code, experimenting <em>live in your browser.</em>  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/HEAD?labpath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a></p>
 </li>
 <li><p>You can <strong>use the code in your own projects</strong>.  You can download the code as Python programs; simply select "Resources → Download Code" for one chapter or "Resources → All Code" for all chapters.  These code files can be executed, yielding (hopefully) the same results as the notebooks.  Once the book is out of beta, you can also <a href="Importing.html">install the Python package</a>.</p>
 </li>
@@ -12358,7 +12358,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/debuggingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-01-18 17:35:12+01:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-06-29 18:24:52+02:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12374,7 +12374,7 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/index.html">About this Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/index.html">https://www.debuggingbook.org/beta/html/index.html</a>.  Retrieved 2024-01-18 17:35:12+01:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/index.html">About this Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/index.html">https://www.debuggingbook.org/beta/html/index.html</a>.  Retrieved 2024-06-29 18:24:52+02:00.
 </p>
 <pre>
 @incollection{debuggingbook2024:index,
@@ -12384,9 +12384,9 @@ <h2>How to Cite this Work</h2>
     year = {2024},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/html/index.html}},
-    note = {Retrieved 2024-01-18 17:35:12+01:00},
+    note = {Retrieved 2024-06-29 18:24:52+02:00},
     url = {https://www.debuggingbook.org/beta/html/index.html},
-    urldate = {2024-01-18 17:35:12+01:00}
+    urldate = {2024-06-29 18:24:52+02:00}
 }
 </pre>
 </div>
diff --git a/docs/beta/index.html b/docs/beta/index.html
index 359116fc..5c16c485 100644
--- a/docs/beta/index.html
+++ b/docs/beta/index.html
@@ -12026,7 +12026,7 @@
 <ul>
 <li><p>You can <strong>read chapters in your browser</strong>.  Check out the list of chapters in the menu above, or start right away with the <a href="html/Intro_Debugging.html">introduction to debugging</a> or <a href="html/Debugger.html">how debuggers work</a>.  All code is available for download.</p>
 </li>
-<li><p>You can <strong>interact with chapters as Jupyter Notebooks</strong> (beta).  This allows you to edit and extend the code, experimenting <em>live in your browser.</em>  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/master?filepath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a></p>
+<li><p>You can <strong>interact with chapters as Jupyter Notebooks</strong> (beta).  This allows you to edit and extend the code, experimenting <em>live in your browser.</em>  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/HEAD?labpath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a></p>
 </li>
 <li><p>You can <strong>use the code in your own projects</strong>.  You can download the code as Python programs; simply select "Resources → Download Code" for one chapter or "Resources → All Code" for all chapters.  These code files can be executed, yielding (hopefully) the same results as the notebooks.  Once the book is out of beta, you can also <a href="html/Importing.html">install the Python package</a>.</p>
 </li>
@@ -12353,7 +12353,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/debuggingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-01-18 17:35:12+01:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-06-29 18:24:52+02:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12369,7 +12369,7 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>".  Retrieved 2024-01-18 17:35:12+01:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>".  Retrieved 2024-06-29 18:24:52+02:00.
 </p>
 <pre>
 @book{debuggingbook2024,
@@ -12378,9 +12378,9 @@ <h2>How to Cite this Work</h2>
     year = {2024},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/}},
-    note = {Retrieved 2024-01-18 17:35:12+01:00},
+    note = {Retrieved 2024-06-29 18:24:52+02:00},
     url = {https://www.debuggingbook.org/beta/},
-    urldate = {2024-01-18 17:35:12+01:00}
+    urldate = {2024-06-29 18:24:52+02:00}
 }
 </pre>
 </div>
diff --git a/docs/beta/notebooks/IllustratedCode.ipynb b/docs/beta/notebooks/IllustratedCode.ipynb
index 4540745d..66469ca9 100644
--- a/docs/beta/notebooks/IllustratedCode.ipynb
+++ b/docs/beta/notebooks/IllustratedCode.ipynb
@@ -53,7 +53,7 @@
     "Go and\n",
     "\n",
     "* Read the [talk slides](https://www.slideshare.net/andreas.zeller/illustrated-code-ase-2021)\n",
-    "* [Interact](https://mybinder.org/v2/gh/uds-se/debuggingbook/master?urlpath=lab/tree/docs/notebooks/IllustratedCode.ipynb) with the notebook "
+    "* [Interact](https://mybinder.org/v2/gh/uds-se/debuggingbook/HEAD?labpath=docs/notebooks/IllustratedCode.ipynb) with the notebook "
    ]
   },
   {
@@ -108,10 +108,10 @@
    "id": "926cf9fc",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.236249Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.235726Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.295545Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.295202Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.407495Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.407334Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.444981Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.444689Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -128,10 +128,10 @@
    "id": "8f6f6d17",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.297603Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.297436Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.391468Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.391199Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.446777Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.446643Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.544623Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.544285Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -148,10 +148,10 @@
    "id": "61fcb3aa",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.393245Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.393160Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.394890Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.394613Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.546338Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.546245Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.548027Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.547780Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -182,10 +182,10 @@
    "id": "8946c67b",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.396582Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.396494Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.399475Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.399228Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.549610Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.549496Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.553424Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.553137Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -240,10 +240,10 @@
    "id": "11cad4bc",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.400988Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.400884Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.403405Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.403176Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.554988Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.554897Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.557793Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.557523Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -323,10 +323,10 @@
    "id": "4ff1de6d-d562-44f8-9adf-539a67e549ea",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.405029Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.404929Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.406502Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.406270Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.559295Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.559206Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.560993Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.560759Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -344,10 +344,10 @@
    "id": "0de2c1b0-19ad-4869-ba03-e217c7ae901e",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.407976Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.407893Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.410949Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.410709Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.562477Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.562390Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.565515Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.565259Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -375,10 +375,10 @@
    "id": "cc9e2b4f-8bcb-4f6b-9d13-2c1393298022",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.412557Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.412450Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.414049Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.413798Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.566986Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.566894Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.568555Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.568304Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -452,10 +452,10 @@
    "id": "f9afe3f4",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.415576Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.415478Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.417077Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.416856Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.570048Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.569963Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.571639Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.571376Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -503,10 +503,10 @@
    "id": "9ae659b4",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.418613Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.418513Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.420132Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.419911Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.573055Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.572973Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.574764Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.574529Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -536,10 +536,10 @@
    "id": "0f39b095",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.421688Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.421592Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.423567Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.423306Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.576258Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.576140Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.578890Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.578492Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -579,10 +579,10 @@
    "id": "e7e2652f",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.424982Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.424884Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.426392Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.426148Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.580969Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.580781Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.582938Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.582493Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -669,10 +669,10 @@
    "id": "6a08f669",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.427833Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.427754Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.430020Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.429762Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.584951Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.584821Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.587142Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.586815Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -713,10 +713,10 @@
    "id": "30138b67-8ece-4615-ab64-ecfef2ab0921",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.431473Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.431388Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.433536Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.433301Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.588787Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.588666Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.590838Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.590562Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -770,10 +770,10 @@
    "id": "6640c751",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.435160Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.435053Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.436534Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.436307Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.592349Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.592197Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.593839Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.593596Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -791,10 +791,10 @@
    "id": "2414a718",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.437913Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.437835Z",
-     "iopub.status.idle": "2024-05-16T14:34:36.440229Z",
-     "shell.execute_reply": "2024-05-16T14:34:36.439997Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.595226Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.595143Z",
+     "iopub.status.idle": "2024-06-29T16:29:07.597516Z",
+     "shell.execute_reply": "2024-06-29T16:29:07.597268Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -825,10 +825,10 @@
    "id": "c7e7c45b",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:36.441632Z",
-     "iopub.status.busy": "2024-05-16T14:34:36.441550Z",
-     "iopub.status.idle": "2024-05-16T14:34:38.006128Z",
-     "shell.execute_reply": "2024-05-16T14:34:38.005763Z"
+     "iopub.execute_input": "2024-06-29T16:29:07.599002Z",
+     "iopub.status.busy": "2024-06-29T16:29:07.598869Z",
+     "iopub.status.idle": "2024-06-29T16:29:09.142623Z",
+     "shell.execute_reply": "2024-06-29T16:29:09.142256Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -838,7 +838,7 @@
     {
      "data": {
       "text/plain": [
-       "0.14820550803665355"
+       "0.1497593307030911"
       ]
      },
      "execution_count": 17,
@@ -857,10 +857,10 @@
    "id": "8f29aa90",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:38.008012Z",
-     "iopub.status.busy": "2024-05-16T14:34:38.007885Z",
-     "iopub.status.idle": "2024-05-16T14:34:39.648681Z",
-     "shell.execute_reply": "2024-05-16T14:34:39.648356Z"
+     "iopub.execute_input": "2024-06-29T16:29:09.144291Z",
+     "iopub.status.busy": "2024-06-29T16:29:09.144161Z",
+     "iopub.status.idle": "2024-06-29T16:29:10.867780Z",
+     "shell.execute_reply": "2024-06-29T16:29:10.867373Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -870,7 +870,7 @@
     {
      "data": {
       "text/plain": [
-       "0.24632015896531811"
+       "0.2586060460052977"
       ]
      },
      "execution_count": 18,
@@ -927,10 +927,10 @@
    "id": "a1864a8f",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:39.650430Z",
-     "iopub.status.busy": "2024-05-16T14:34:39.650321Z",
-     "iopub.status.idle": "2024-05-16T14:34:39.652063Z",
-     "shell.execute_reply": "2024-05-16T14:34:39.651770Z"
+     "iopub.execute_input": "2024-06-29T16:29:10.869939Z",
+     "iopub.status.busy": "2024-06-29T16:29:10.869782Z",
+     "iopub.status.idle": "2024-06-29T16:29:10.871835Z",
+     "shell.execute_reply": "2024-06-29T16:29:10.871445Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -996,10 +996,10 @@
    "id": "b41cbfc4",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:39.653811Z",
-     "iopub.status.busy": "2024-05-16T14:34:39.653700Z",
-     "iopub.status.idle": "2024-05-16T14:34:39.655420Z",
-     "shell.execute_reply": "2024-05-16T14:34:39.655180Z"
+     "iopub.execute_input": "2024-06-29T16:29:10.873791Z",
+     "iopub.status.busy": "2024-06-29T16:29:10.873634Z",
+     "iopub.status.idle": "2024-06-29T16:29:10.875503Z",
+     "shell.execute_reply": "2024-06-29T16:29:10.875192Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1042,10 +1042,10 @@
    "id": "bfdb7af4",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:39.656969Z",
-     "iopub.status.busy": "2024-05-16T14:34:39.656853Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.142670Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.142364Z"
+     "iopub.execute_input": "2024-06-29T16:29:10.877254Z",
+     "iopub.status.busy": "2024-06-29T16:29:10.877125Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.546434Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.546076Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -1062,10 +1062,10 @@
    "id": "1d518e51",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.144595Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.144426Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.146481Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.146162Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.548582Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.548239Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.550476Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.550208Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1085,10 +1085,10 @@
    "id": "eda3f55c",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.148016Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.147909Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.210627Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.210306Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.552058Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.551925Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.626626Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.626194Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -1137,10 +1137,10 @@
    "id": "411c8caa",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.212668Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.212456Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.214347Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.214103Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.629133Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.628955Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.631093Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.630778Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1171,10 +1171,10 @@
    "id": "f2a95572",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.215786Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.215679Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.247442Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.247150Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.632754Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.632641Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.666497Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.666180Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -1223,10 +1223,10 @@
    "id": "e65bc87c-4054-4bf1-b1cc-ca6462bd9fdb",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.249396Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.249188Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.251097Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.250807Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.668948Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.668709Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.671075Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.670670Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1267,10 +1267,10 @@
    "id": "892ab4c2",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.252632Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.252528Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.424730Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.424410Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.673192Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.673061Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.854358Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.854051Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1328,10 +1328,10 @@
    "id": "0f75535d-10ef-40be-bc0d-b7e65ad8f7ca",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.427137Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.426839Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.455839Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.455564Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.856171Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.856050Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.871892Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.871523Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -1348,10 +1348,10 @@
    "id": "845c3604-928e-40d7-a944-cb29bcaa1538",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.457526Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.457409Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.468151Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.467840Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.873990Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.873829Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.877808Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.877497Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1370,10 +1370,10 @@
    "id": "f51cde26-738e-42e3-aee0-ab94727bcb2f",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.469735Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.469629Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.491906Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.491620Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.879815Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.879656Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.888651Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.888288Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1407,10 +1407,10 @@
    "id": "0e4fd055-5ce2-40d0-bde2-17159842d829",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.493543Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.493437Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.500282Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.500045Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.890416Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.890321Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.897463Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.897076Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -1466,10 +1466,10 @@
    "id": "2fcac756",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.501826Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.501716Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.503927Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.503710Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.899740Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.899531Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.902253Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.901874Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1496,10 +1496,10 @@
    "id": "beb31a29",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.505343Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.505229Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.507446Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.507209Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.904436Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.904277Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.907403Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.906869Z"
     },
     "slideshow": {
      "slide_type": "subslide"
@@ -1522,7 +1522,7 @@
        "```"
       ],
       "text/plain": [
-       "<__main__.ClassDiagram at 0x140a8f2e0>"
+       "<__main__.ClassDiagram at 0x12fa3ab00>"
       ]
      },
      "execution_count": 33,
@@ -1552,10 +1552,10 @@
    "id": "f8f6f833",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.508849Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.508750Z",
-     "iopub.status.idle": "2024-05-16T14:34:40.511383Z",
-     "shell.execute_reply": "2024-05-16T14:34:40.511139Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.909479Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.909313Z",
+     "iopub.status.idle": "2024-06-29T16:29:11.913158Z",
+     "shell.execute_reply": "2024-06-29T16:29:11.912645Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1570,23 +1570,23 @@
        "Client->>+Server: middle(z=20, y=50, x=30)\n",
        "Server-->>-Client: 30\n",
        "Client->>+Server: __del__(self=middle)\n",
-       "Client->>+Server: ref(self=<z3.z3.Context object at 0x140a8d1b0>)\n",
-       "Server-->>-Client: <ContextObj object at 0x1408fe740>\n",
-       "Client->>+Server: ref(self=<z3.z3.Context object at 0x140a8d1b0>)\n",
-       "Server-->>-Client: <ContextObj object at 0x1408fe740>\n",
+       "Client->>+Server: ref(self=<z3.z3.Context object at 0x12fa38970>)\n",
+       "Server-->>-Client: <ContextObj object at 0x12a51a240>\n",
+       "Client->>+Server: ref(self=<z3.z3.Context object at 0x12fa38970>)\n",
+       "Server-->>-Client: <ContextObj object at 0x12a51a240>\n",
        "Client->>+Server: as_ast(self=middle)\n",
-       "Server-->>-Client: <Ast object at 0x1408fea40>\n",
-       "Client->>+Server: Z3_dec_ref(_elems=<z3.z3core.Elementaries object at 0x1409e1960>, a1=<Ast object at 0x1408fea40>, a0=<ContextObj object at 0x1408fe740>)\n",
-       "Client->>+Server: from_param(obj=<ContextObj object at 0x1408fe740>)\n",
-       "Server-->>-Client: <ContextObj object at 0x1408fe740>\n",
-       "Client->>+Server: from_param(obj=<Ast object at 0x1408fea40>)\n",
-       "Server-->>-Client: <Ast object at 0x1408fea40>\n",
+       "Server-->>-Client: <Ast object at 0x12a51a540>\n",
+       "Client->>+Server: Z3_dec_ref(_elems=<z3.z3core.Elementaries object at 0x12f999120>, a1=<Ast object at 0x12a51a540>, a0=<ContextObj object at 0x12a51a240>)\n",
+       "Client->>+Server: from_param(obj=<ContextObj object at 0x12a51a240>)\n",
+       "Server-->>-Client: <ContextObj object at 0x12a51a240>\n",
+       "Client->>+Server: from_param(obj=<Ast object at 0x12a51a540>)\n",
+       "Server-->>-Client: <Ast object at 0x12a51a540>\n",
        "Server-->>-Client\n",
        "Server-->>-Client\n",
        "```"
       ],
       "text/plain": [
-       "<__main__.SequenceDiagramTracer at 0x140a8e3e0>"
+       "<__main__.SequenceDiagramTracer at 0x12fa3a470>"
       ]
      },
      "execution_count": 34,
@@ -1654,10 +1654,10 @@
    "id": "9b0ea356",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:40.512941Z",
-     "iopub.status.busy": "2024-05-16T14:34:40.512826Z",
-     "iopub.status.idle": "2024-05-16T14:34:42.944458Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.944039Z"
+     "iopub.execute_input": "2024-06-29T16:29:11.915419Z",
+     "iopub.status.busy": "2024-06-29T16:29:11.915255Z",
+     "iopub.status.idle": "2024-06-29T16:29:14.942003Z",
+     "shell.execute_reply": "2024-06-29T16:29:14.941582Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1668,12 +1668,9 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "\u001b[31mERROR: pip's dependency resolver does not currently take into account all the packages that are installed. This behaviour is the source of the following dependency conflicts.\r\n",
-      "pytest-asyncio 0.19.0 requires pytest>=6.1.0, but you have pytest 3.10.1 which is incompatible.\r\n",
-      "pytest-html 3.1.1 requires pytest!=6.0.0,>=5.0, but you have pytest 3.10.1 which is incompatible.\r\n",
-      "pytest-rerunfailures 10.2 requires pytest>=5.3, but you have pytest 3.10.1 which is incompatible.\r\n",
-      "pytest-xdist 2.5.0 requires pytest>=6.2.0, but you have pytest 3.10.1 which is incompatible.\u001b[0m\u001b[31m\r\n",
-      "\u001b[0m"
+      "\r\n",
+      "\u001b[1m[\u001b[0m\u001b[34;49mnotice\u001b[0m\u001b[1;39;49m]\u001b[0m\u001b[39;49m A new release of pip is available: \u001b[0m\u001b[31;49m24.0\u001b[0m\u001b[39;49m -> \u001b[0m\u001b[32;49m24.1.1\u001b[0m\r\n",
+      "\u001b[1m[\u001b[0m\u001b[34;49mnotice\u001b[0m\u001b[1;39;49m]\u001b[0m\u001b[39;49m To update, run: \u001b[0m\u001b[32;49mpip install --upgrade pip\u001b[0m\r\n"
      ]
     }
    ],
@@ -1686,7 +1683,7 @@
    "id": "f48314b0",
    "metadata": {
     "slideshow": {
-     "slide_type": "subslide"
+     "slide_type": "fragment"
     }
    },
    "source": [
@@ -1699,10 +1696,10 @@
    "id": "610af3c3",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:42.946627Z",
-     "iopub.status.busy": "2024-05-16T14:34:42.946482Z",
-     "iopub.status.idle": "2024-05-16T14:34:42.959939Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.959649Z"
+     "iopub.execute_input": "2024-06-29T16:29:14.944454Z",
+     "iopub.status.busy": "2024-06-29T16:29:14.944203Z",
+     "iopub.status.idle": "2024-06-29T16:29:14.958801Z",
+     "shell.execute_reply": "2024-06-29T16:29:14.958471Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -1719,13 +1716,13 @@
    "id": "63acd34c",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:42.961696Z",
-     "iopub.status.busy": "2024-05-16T14:34:42.961562Z",
-     "iopub.status.idle": "2024-05-16T14:34:42.964090Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.963781Z"
+     "iopub.execute_input": "2024-06-29T16:29:14.960560Z",
+     "iopub.status.busy": "2024-06-29T16:29:14.960415Z",
+     "iopub.status.idle": "2024-06-29T16:29:14.963036Z",
+     "shell.execute_reply": "2024-06-29T16:29:14.962773Z"
     },
     "slideshow": {
-     "slide_type": "fragment"
+     "slide_type": "subslide"
     }
    },
    "outputs": [
@@ -1750,10 +1747,10 @@
    "id": "4c91d747",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:42.965658Z",
-     "iopub.status.busy": "2024-05-16T14:34:42.965424Z",
-     "iopub.status.idle": "2024-05-16T14:34:42.967414Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.967161Z"
+     "iopub.execute_input": "2024-06-29T16:29:14.964598Z",
+     "iopub.status.busy": "2024-06-29T16:29:14.964360Z",
+     "iopub.status.idle": "2024-06-29T16:29:14.966570Z",
+     "shell.execute_reply": "2024-06-29T16:29:14.966169Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -1770,10 +1767,10 @@
    "id": "209c1dd9",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:42.968875Z",
-     "iopub.status.busy": "2024-05-16T14:34:42.968768Z",
-     "iopub.status.idle": "2024-05-16T14:34:42.973139Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.972855Z"
+     "iopub.execute_input": "2024-06-29T16:29:14.968212Z",
+     "iopub.status.busy": "2024-06-29T16:29:14.968089Z",
+     "iopub.status.idle": "2024-06-29T16:29:14.971432Z",
+     "shell.execute_reply": "2024-06-29T16:29:14.970958Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1792,10 +1789,10 @@
    "id": "5e682dc1",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:42.974665Z",
-     "iopub.status.busy": "2024-05-16T14:34:42.974550Z",
-     "iopub.status.idle": "2024-05-16T14:34:42.981705Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.981419Z"
+     "iopub.execute_input": "2024-06-29T16:29:14.973164Z",
+     "iopub.status.busy": "2024-06-29T16:29:14.973050Z",
+     "iopub.status.idle": "2024-06-29T16:29:14.981123Z",
+     "shell.execute_reply": "2024-06-29T16:29:14.980851Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1816,7 +1813,7 @@
    "id": "f553a126-a872-4a30-be2e-725d7b484905",
    "metadata": {
     "slideshow": {
-     "slide_type": "subslide"
+     "slide_type": "fragment"
     }
    },
    "source": [
@@ -1829,10 +1826,10 @@
    "id": "3209a277",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:42.983539Z",
-     "iopub.status.busy": "2024-05-16T14:34:42.983436Z",
-     "iopub.status.idle": "2024-05-16T14:34:42.989006Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.988733Z"
+     "iopub.execute_input": "2024-06-29T16:29:14.982711Z",
+     "iopub.status.busy": "2024-06-29T16:29:14.982603Z",
+     "iopub.status.idle": "2024-06-29T16:29:14.989507Z",
+     "shell.execute_reply": "2024-06-29T16:29:14.989099Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -1898,10 +1895,10 @@
    "id": "8d32059a",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:42.990599Z",
-     "iopub.status.busy": "2024-05-16T14:34:42.990486Z",
-     "iopub.status.idle": "2024-05-16T14:34:42.992797Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.992537Z"
+     "iopub.execute_input": "2024-06-29T16:29:14.991228Z",
+     "iopub.status.busy": "2024-06-29T16:29:14.991114Z",
+     "iopub.status.idle": "2024-06-29T16:29:14.993395Z",
+     "shell.execute_reply": "2024-06-29T16:29:14.993095Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -1942,10 +1939,10 @@
    "id": "0e2cd21a",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:42.994444Z",
-     "iopub.status.busy": "2024-05-16T14:34:42.994322Z",
-     "iopub.status.idle": "2024-05-16T14:34:42.996507Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.996250Z"
+     "iopub.execute_input": "2024-06-29T16:29:14.994852Z",
+     "iopub.status.busy": "2024-06-29T16:29:14.994739Z",
+     "iopub.status.idle": "2024-06-29T16:29:14.996883Z",
+     "shell.execute_reply": "2024-06-29T16:29:14.996631Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -1986,10 +1983,10 @@
    "id": "ee0020d2",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:42.998107Z",
-     "iopub.status.busy": "2024-05-16T14:34:42.997998Z",
-     "iopub.status.idle": "2024-05-16T14:34:43.000063Z",
-     "shell.execute_reply": "2024-05-16T14:34:42.999816Z"
+     "iopub.execute_input": "2024-06-29T16:29:14.998671Z",
+     "iopub.status.busy": "2024-06-29T16:29:14.998522Z",
+     "iopub.status.idle": "2024-06-29T16:29:15.001121Z",
+     "shell.execute_reply": "2024-06-29T16:29:15.000838Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -2029,10 +2026,10 @@
    "id": "4456cba9",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:43.001573Z",
-     "iopub.status.busy": "2024-05-16T14:34:43.001458Z",
-     "iopub.status.idle": "2024-05-16T14:34:43.003607Z",
-     "shell.execute_reply": "2024-05-16T14:34:43.003330Z"
+     "iopub.execute_input": "2024-06-29T16:29:15.002876Z",
+     "iopub.status.busy": "2024-06-29T16:29:15.002736Z",
+     "iopub.status.idle": "2024-06-29T16:29:15.005570Z",
+     "shell.execute_reply": "2024-06-29T16:29:15.005260Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -2125,10 +2122,10 @@
    "id": "21fe252c",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:43.005261Z",
-     "iopub.status.busy": "2024-05-16T14:34:43.005153Z",
-     "iopub.status.idle": "2024-05-16T14:34:43.007214Z",
-     "shell.execute_reply": "2024-05-16T14:34:43.006936Z"
+     "iopub.execute_input": "2024-06-29T16:29:15.007211Z",
+     "iopub.status.busy": "2024-06-29T16:29:15.007092Z",
+     "iopub.status.idle": "2024-06-29T16:29:15.009180Z",
+     "shell.execute_reply": "2024-06-29T16:29:15.008896Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -2156,10 +2153,10 @@
    "id": "71fa73f6",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:43.008735Z",
-     "iopub.status.busy": "2024-05-16T14:34:43.008626Z",
-     "iopub.status.idle": "2024-05-16T14:34:43.010817Z",
-     "shell.execute_reply": "2024-05-16T14:34:43.010498Z"
+     "iopub.execute_input": "2024-06-29T16:29:15.010651Z",
+     "iopub.status.busy": "2024-06-29T16:29:15.010540Z",
+     "iopub.status.idle": "2024-06-29T16:29:15.012569Z",
+     "shell.execute_reply": "2024-06-29T16:29:15.012186Z"
     },
     "slideshow": {
      "slide_type": "fragment"
@@ -2229,10 +2226,10 @@
    "id": "210e66d5",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:43.012413Z",
-     "iopub.status.busy": "2024-05-16T14:34:43.012303Z",
-     "iopub.status.idle": "2024-05-16T14:34:43.013933Z",
-     "shell.execute_reply": "2024-05-16T14:34:43.013657Z"
+     "iopub.execute_input": "2024-06-29T16:29:15.014635Z",
+     "iopub.status.busy": "2024-06-29T16:29:15.014478Z",
+     "iopub.status.idle": "2024-06-29T16:29:15.016558Z",
+     "shell.execute_reply": "2024-06-29T16:29:15.016230Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -2249,10 +2246,10 @@
    "id": "8855d181",
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T14:34:43.015477Z",
-     "iopub.status.busy": "2024-05-16T14:34:43.015364Z",
-     "iopub.status.idle": "2024-05-16T14:34:43.017879Z",
-     "shell.execute_reply": "2024-05-16T14:34:43.017540Z"
+     "iopub.execute_input": "2024-06-29T16:29:15.018280Z",
+     "iopub.status.busy": "2024-06-29T16:29:15.018165Z",
+     "iopub.status.idle": "2024-06-29T16:29:15.020497Z",
+     "shell.execute_reply": "2024-06-29T16:29:15.020217Z"
     },
     "slideshow": {
      "slide_type": "subslide"
diff --git a/docs/beta/notebooks/README.md b/docs/beta/notebooks/README.md
index e1a15e70..d447d6f0 100644
--- a/docs/beta/notebooks/README.md
+++ b/docs/beta/notebooks/README.md
@@ -54,7 +54,7 @@ You can use this book in four ways:
 
 * You can __read chapters in your browser__.  Check out the list of chapters in the menu above, or start right away with the [introduction to debugging](https://www.debuggingbook.org/html/Intro_Debugging.html) or [how debuggers work](https://www.debuggingbook.org/html/Debugger.html).  All code is available for download.
 
-* You can __interact with chapters as Jupyter Notebooks__ (beta).  This allows you to edit and extend the code, experimenting _live in your browser._  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/master?filepath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a>
+* You can __interact with chapters as Jupyter Notebooks__ (beta).  This allows you to edit and extend the code, experimenting _live in your browser._  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/HEAD?labpath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a>
 
 * You can __use the code in your own projects__.  You can download the code as Python programs; simply select "Resources → Download Code" for one chapter or "Resources → All Code" for all chapters.  These code files can be executed, yielding (hopefully) the same results as the notebooks.  Once the book is out of beta, you can also [install the Python package](https://www.debuggingbook.org/html/Importing.html).
 
diff --git a/docs/beta/notebooks/index.ipynb b/docs/beta/notebooks/index.ipynb
index c6070aec..9d91666a 100644
--- a/docs/beta/notebooks/index.ipynb
+++ b/docs/beta/notebooks/index.ipynb
@@ -24,10 +24,10 @@
    "execution_count": 1,
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2024-05-16T13:58:37.012346Z",
-     "iopub.status.busy": "2024-05-16T13:58:37.012057Z",
-     "iopub.status.idle": "2024-05-16T13:58:37.070387Z",
-     "shell.execute_reply": "2024-05-16T13:58:37.069895Z"
+     "iopub.execute_input": "2024-06-29T16:29:04.293317Z",
+     "iopub.status.busy": "2024-06-29T16:29:04.293187Z",
+     "iopub.status.idle": "2024-06-29T16:29:04.338871Z",
+     "shell.execute_reply": "2024-06-29T16:29:04.338550Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -49,7 +49,7 @@
        "        "
       ],
       "text/plain": [
-       "<IPython.lib.display.IFrame at 0x1071f77f0>"
+       "<IPython.lib.display.IFrame at 0x1054f5e10>"
       ]
      },
      "execution_count": 1,
@@ -76,7 +76,7 @@
     "\n",
     "* You can __read chapters in your browser__.  Check out the list of chapters in the menu above, or start right away with the [introduction to debugging](Intro_Debugging.ipynb) or [how debuggers work](Debugger.ipynb).  All code is available for download.\n",
     "\n",
-    "* You can __interact with chapters as Jupyter Notebooks__ (beta).  This allows you to edit and extend the code, experimenting _live in your browser._  Simply select \"Resources → Edit as Notebook\" at the top of each chapter. <a href=\"https://mybinder.org/v2/gh/uds-se/debuggingbook/master?filepath=docs/notebooks/Debugger.ipynb\" target=_blank>Try interacting with the introduction to interactive debuggers.</a>\n",
+    "* You can __interact with chapters as Jupyter Notebooks__ (beta).  This allows you to edit and extend the code, experimenting _live in your browser._  Simply select \"Resources → Edit as Notebook\" at the top of each chapter. <a href=\"https://mybinder.org/v2/gh/uds-se/debuggingbook/HEAD?labpath=docs/notebooks/Debugger.ipynb\" target=_blank>Try interacting with the introduction to interactive debuggers.</a>\n",
     "\n",
     "* You can __use the code in your own projects__.  You can download the code as Python programs; simply select \"Resources → Download Code\" for one chapter or \"Resources → All Code\" for all chapters.  These code files can be executed, yielding (hopefully) the same results as the notebooks.  Once the book is out of beta, you can also [install the Python package](Importing.ipynb).\n",
     "\n",