diff --git a/sks/1_B_Sprache.ipynb b/sks/1_B_Sprache.ipynb
index d381992d000a6abbd71d9248ca3626d743b0983d..6711a00526135a24bf50b18b259f843a74ac66a5 100644
--- a/sks/1_B_Sprache.ipynb
+++ b/sks/1_B_Sprache.ipynb
@@ -45,7 +45,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 15,
+   "execution_count": 2,
    "metadata": {
     "vscode": {
      "languageId": "classicalb"
@@ -61,7 +61,7 @@
        "5"
       ]
      },
-     "execution_count": 15,
+     "execution_count": 2,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -79,7 +79,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 2,
+   "execution_count": 3,
    "metadata": {
     "vscode": {
      "languageId": "classicalb"
@@ -95,7 +95,7 @@
        "FALSE"
       ]
      },
-     "execution_count": 2,
+     "execution_count": 3,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -113,7 +113,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 25,
+   "execution_count": 4,
    "metadata": {
     "vscode": {
      "languageId": "classicalb"
@@ -129,7 +129,7 @@
        "{FALSE}"
       ]
      },
-     "execution_count": 25,
+     "execution_count": 4,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -147,7 +147,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 20,
+   "execution_count": 5,
    "metadata": {
     "vscode": {
      "languageId": "classicalb"
@@ -163,7 +163,7 @@
        "{FALSE}"
       ]
      },
-     "execution_count": 20,
+     "execution_count": 5,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -184,7 +184,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 4,
+   "execution_count": 6,
    "metadata": {
     "vscode": {
      "languageId": "classicalb"
@@ -200,7 +200,7 @@
        "5"
       ]
      },
-     "execution_count": 4,
+     "execution_count": 6,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1328,16 +1328,17 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 51,
+   "execution_count": 7,
    "metadata": {},
    "outputs": [
     {
-     "ename": "CommandExecutionException",
-     "evalue": ":eval: NOT-WELL-DEFINED: \ncard applied to very large set, cardinality not representable in ProB:  closure([x],[integer],b(greater(b(identifier(...),integer,[...]),b(value(...),integer,[...])),pred,[nodeid(none)]))\n\n",
+     "ename": "WithSourceCodeException",
+     "evalue": "de.prob.exception.ProBError: NOT-WELL-DEFINED\nProB returned error messages:\nError: card applied to infinite set, cardinality not representable in ProB:  {x|x > 2} (:1:0 to 1:13)",
      "output_type": "error",
      "traceback": [
-      "\u001b[1m\u001b[31m:eval: NOT-WELL-DEFINED: \u001b[0m",
-      "\u001b[1m\u001b[31mcard applied to very large set, cardinality not representable in ProB:  closure([x],[integer],b(greater(b(identifier(...),integer,[...]),b(value(...),integer,[...])),pred,[nodeid(none)]))\u001b[0m"
+      "\u001b[1m\u001b[30mError from ProB: \u001b[0m\u001b[1m\u001b[31mNOT-WELL-DEFINED\u001b[0m",
+      "\u001b[1m\u001b[31mError: card applied to infinite set, cardinality not representable in ProB:  {x|x > 2} (:1:0 to 1:13)\u001b[0m",
+      "\u001b[1m\u001b[30m\u001b[0m\u001b[1m\u001b[30m\u001b[41mcard({x|x>2})\u001b[0m\u001b[1m\u001b[30m\u001b[0m"
      ]
     }
    ],