diff --git a/notebooks/presentations/ABZ 2021.ipynb b/notebooks/presentations/ABZ 2021.ipynb
index 86d5ffdce9f878483cb5cbbdb11acd9d2c0609f3..ed97a256f1992508e0cc7cb539f8736c3e907550 100644
--- a/notebooks/presentations/ABZ 2021.ipynb	
+++ b/notebooks/presentations/ABZ 2021.ipynb	
@@ -672,7 +672,7 @@
     {
      "data": {
       "text/plain": [
-       "0.040 sec, 7 of 7 states processed, 11 transitions"
+       "0.037 sec, 7 of 7 states processed, 11 transitions"
       ]
      },
      "metadata": {},
@@ -908,21 +908,7 @@
     }
    },
    "source": [
-    "## Interactive Usage as a REPL\n",
-    "\n",
-    "* Jupyter Notebook can be used like a REPL\n",
-    "* Advantages: easy multi-line input, rich text output, advanced editor features, saveable"
-   ]
-  },
-  {
-   "cell_type": "markdown",
-   "metadata": {
-    "slideshow": {
-     "slide_type": "subslide"
-    }
-   },
-   "source": [
-    "## Interactive Editing of Models\n",
+    "## Interactive Development\n",
     "\n",
     "* Any part of a notebook can be edited and re-executed\n",
     "* Simplifies testing changes to the code, e.g.:\n",
@@ -1161,7 +1147,7 @@
     "\n",
     "* Course materials/lecture notes as notebooks\n",
     "    * Students can execute examples themselves and experiment with the code\n",
-    "    * Visualisation of concepts like relations, finite automata\n",
+    "    * Visualisation of relations, graphs, etc.\n",
     "    * `nbconvert` renders notebooks to HTML, PDF, etc.\n",
     "* Exercise sheets as notebooks\n",
     "    * An incomplete notebook with exercises is provided\n",
@@ -1542,7 +1528,6 @@
     "* ProB Jupyter notebooks allow conveniently working interactively with B\n",
     "* Usable standalone or with existing models\n",
     "* Applications: development, documentation, teaching\n",
-    "* Also has uses outside of formal methods, e.g. teaching theoretical CS\n",
     "* Jupyter Notebook makes it easy to integrate new languages/tools in notebooks\n",
     "* The Jupyter ecosystem provides a standard file format and useful tools (`nbconvert`, `nbgrader`, ...)"
    ]