diff --git a/.github/workflows/e2e.yaml b/.github/workflows/e2e.yaml
index ad421db..b703b4e 100644
--- a/.github/workflows/e2e.yaml
+++ b/.github/workflows/e2e.yaml
@@ -43,14 +43,6 @@ jobs:
       - name: Run Playwright E2E tests
         run: BASE_URL=http://localhost:5000 pytest e2e/ -v
 
-      - name: Upload test artifacts
-        if: failure()
-        uses: actions/upload-artifact@v4
-        with:
-          name: playwright-report
-          path: playwright-report/
-          retention-days: 7
-
       - name: Stop services
         if: always()
         run: docker compose down
diff --git a/e2e/test_exercise_flow.py b/e2e/test_exercise_flow.py
index 2efc8df..b97224e 100644
--- a/e2e/test_exercise_flow.py
+++ b/e2e/test_exercise_flow.py
@@ -15,7 +15,7 @@
 # Helpers
 # ---------------------------------------------------------------------------
 
-def _load_prebuilt_exercise(page, base_url, exercise_file="robotrain.json"):
+def _load_prebuilt_exercise(page, base_url, exercise_file="equivalent.json"):
     """Navigate to the predefined exercise page for a prebuilt JSON file."""
     page.goto(f"{base_url}/exercise/predefined?sourceuri=preload:{exercise_file}")
     page.wait_for_selector("#questions")
@@ -44,7 +44,7 @@ def _answer_and_advance(page):
     """Select the first radio option, check the answer, then click Next."""
     visible = page.locator(".question:visible")
     # Remember the current question number so we can detect advance
-    text = visible.locator("small.text-muted").inner_text()
+    text = visible.locator(".question-counter").inner_text()
     m = re.search(r"Question (\d+) of (\d+)", text)
     current_q = int(m.group(1))
     total_q = int(m.group(2))
@@ -66,7 +66,7 @@ def _answer_and_advance(page):
             f"""(() => {{
                 const vis = document.querySelector('.question:not([style*="display: none"])');
                 if (!vis) return false;
-                const t = vis.querySelector('small.text-muted')?.textContent || '';
+                const t = vis.querySelector('.question-counter')?.textContent || '';
                 const m = t.match(/Question (\\d+) of/);
                 return m && parseInt(m[1]) > {current_q};
             }})()""",
diff --git a/src/app.py b/src/app.py
index b6a8f08..d5ac57f 100644
--- a/src/app.py
+++ b/src/app.py
@@ -1081,37 +1081,6 @@ def generate_new_name():
 
 
 
-@app.route('/entryexitticket/<ticket>')
-@login_required
-def entryexitticket(ticket):
-    userId = getUserName()
-    if not userId:
-        return "USER ID IS NOT SET, PLEASE RELOAD THE PAGE."
-    
-    uidlen = len(userId)
-    choices = ["preload:robotrain-odd.json", "preload:robotrain-even.json"]
-
-    entry_index = uidlen % 2
-    exit_index = (uidlen + 1) % 2
-
-    if ticket == "entry":
-        return robotrain(choices[entry_index], exercise_name = "robotrain-entry")
-    elif ticket == "exit":
-        return robotrain(choices[exit_index], exercise_name = "robotrain-exit")
-    else:
-        return "Invalid ticket type."     
-
-def robotrain(sourceuri, exercise_name):
-    try:
-        data = exerciseprocessor.load_questions_from_sourceuri(sourceuri, app.static_folder)
-        data = exerciseprocessor.randomize_questions(data)
-        data = exerciseprocessor.change_traces_to_render_data(data, literals = ["e", "h"])
-    except Exception as e:
-        print(e)
-        return "Error loading exercise"
-    return render_template('/prebuiltexercises/robotrain.html', uid = getUserName(), questions=data, exercise_name=exercise_name)
-
-
 ###### Stepper routes ######
 
 @app.route('/stepper', methods=['GET', 'POST'])
diff --git a/src/static/css/common.css b/src/static/css/common.css
index 0bb5dd0..7c4e192 100644
--- a/src/static/css/common.css
+++ b/src/static/css/common.css
@@ -2,6 +2,7 @@
     background-color: rgba(0, 0, 0, 0.05); /* Change this color as needed */
 }
 
+
 .trace-option-label {
     cursor: pointer;
 }
diff --git a/src/static/lightpanel.json b/src/static/lightpanel.json
deleted file mode 100644
index 353159e..0000000
--- a/src/static/lightpanel.json
+++ /dev/null
@@ -1,358 +0,0 @@
-[
-    {
-        "question": "The green light is never off",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "G(green)",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(F green)",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "green",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "Whenever the Red light is on, it is off in the next state and on again in the state after that. ",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "(G (red -> (X !red) & (X (X red)) ))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(G ((red -> (F (! red))) & (X red)))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.Precedence",
-                    "MisconceptionCode.BadStateIndex"
-                ]
-            },
-            {
-                "option": "(F ((red -> (F (! red))) & (X red)))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "((red -> (F (! red))) & (X red))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "The Red light is on in exactly one state (not necessarily the first state).",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "(F red) & (G (red -> X(G !red)))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "F(red & X(G(!red)))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateIndex"
-                ]
-            },
-            {
-                "option": "(F red)",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            },
-            {
-                "option": "(F red) & (red -> X(G (!red)))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "Red light cannot stay on for three states in a row. ",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "! F(red & (X red) & (X (X red)))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "! (red & (F red))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "! ((red & (F red)) & (X (F red)))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateIndex"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "Whenever the Red light is on, the Blue light will be on then or at some point in the future. ",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "(G (red -> (blue | (F blue))))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(G ((red -> blue) | blue))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.Precedence",
-                    "MisconceptionCode.ImplicitF"
-                ]
-            },
-            {
-                "option": "(red -> blue) | blue",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG",
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            },
-            {
-                "option": "(G (red -> (blue | (X blue))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "The Red light is on for zero or more states, and then turns off and remains off in the future.",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "(F (G !red))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(G (G (! red)))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "(G (! red))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitF"
-                ]
-            },
-            {
-                "option": "(F (! red))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "G(red | blue)",
-        "type": "tracesatisfaction_yn",
-        "trace": "red & !green & !blue; !red & !green & blue; red & green & blue; cycle{!red & green & !blue}",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": false,
-                "misconceptions": []
-            },
-            {
-                "option": "No",
-                "isCorrect": true,
-                "misconceptions": []
-            }
-        ]
-    },
-    {
-        "question": "F(red & green)",
-        "type": "tracesatisfaction_yn",
-        "trace": "!red & !green & !blue; !red & !green & blue; red & !green & !blue; !red & green & !blue; cycle{!red & !green & !blue}",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.OtherImplicit"]
-            },
-            {
-                "option": "No",
-                "isCorrect": true,
-                "misconceptions": []
-            }
-        ]
-    },
-    {
-        "question": "(G (X red))",
-        "type": "tracesatisfaction_yn",
-        "trace": "!red & green & blue; red & !green & blue; !red & !green & !blue; cycle{!red & green & blue; red & green & blue}",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.BadStateQuantification"]
-            },
-            {
-                "option": "No",
-                "isCorrect": true,
-                "misconceptions": []
-            }
-        ]
-    },
-    {
-        "question": "red",
-        "type": "tracesatisfaction_yn",
-        "trace": "!red & green & blue; red & green & blue; red & green & blue; cycle{red & green & blue}",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.BadStateIndex"]
-            },
-            {
-                "option": "No",
-                "isCorrect": true,
-                "misconceptions": []
-            }
-        ]
-    },
-    {
-        "question": "F red",
-        "type": "tracesatisfaction_yn",
-        "trace": "red & !green & !blue; !red & !green & !blue; !red & green & !blue; cycle{!red & !green & !blue}",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "No",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.BadStateIndex"]
-            }
-        ]
-    },
-    {
-        "question": "G (red -> X (X ( X (red))))",
-        "type": "tracesatisfaction_yn",
-        "trace": "!red & !green & !blue; red & green & blue; red & green & blue; !red & !green & !blue;cycle{red & green & blue}",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "No",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.BadStateIndex"]
-            }
-        ]
-    },
-    {
-        "question": "X X X red",
-        "type": "tracesatisfaction_mc",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "options": [
-            {
-                "option": "red & !green & !blue; !red & !green & !blue; !red & !green & !blue; red & !green & !blue; cycle{!red & !green & !blue}",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "1; red; 1; !red; cycle{1}",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateIndex"
-                ]
-            },
-            {
-                "option": "1; 1; red; !red; cycle{1}",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "red U green",
-        "type": "tracesatisfaction_yn",
-        "trace": "red & !green & blue; red & !green & blue; red & !green & blue; red & green & blue;cycle{!red & !green & blue}",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "No",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.ExclusiveU"]
-            }
-        ]
-    },
-    {
-        "question": "red U blue",
-        "type": "tracesatisfaction_yn",
-        "trace": "red & !green & !blue;red & !green & !blue;red & !green & !blue;cycle{red & !green & !blue}",
-        "description": "The questions ask about the state of an instrument panel over time. The panel has three colors: Red (red), Green (green), and Blue (blue).",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.WeakU"]
-            },
-            {
-                "option": "No",
-                "isCorrect": true,
-                "misconceptions": []
-            }
-        ]
-    }
-]
diff --git a/src/static/robotrain-even.json b/src/static/robotrain-even.json
deleted file mode 100644
index 3f643e3..0000000
--- a/src/static/robotrain-even.json
+++ /dev/null
@@ -1,163 +0,0 @@
-[
-    {
-        "question": "Whenever the engine is on, it is off in the next state and on again in the state after that.",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "G (e -> (X (!e)) & (X (X e)))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(G ((e -> (X (! e))) & (X (X e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.Precedence"
-                ]
-            },
-            {
-                "option": "(G (e -> ((X (! e)) & (X e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateIndex"
-                ]
-            },
-            {
-                "option": "(F (e -> ((X (! e)) & (X (X e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "(e -> ((X (! e)) & (X (X e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            },
-            {
-                "option": "(G (e -> ((X (! e)) & (F (X e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "The engine cannot stay on for three states in a row.",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "G ((e & (X e)) -> (X (X (!e))))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(G ((e & (X e)) -> (X (! e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateIndex"
-                ]
-            },
-            {
-                "option": "(F ((e & (X e)) -> (X (X (! e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "((e & (X e)) -> (X (X (! e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            },
-            {
-                "option": "(G ((e & (F e)) -> (F (X (! e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "The engine is on for zero or more states, and then turns off and remains off in the future.",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "e U (G (!e))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "((F e) U (G (! e)))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "(e U (! e))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            },
-            {
-                "option": "e",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "(X e) U (X h)",
-        "type": "tracesatisfaction_mc",
-        "options": [
-            {
-                "option": "!e & !h; cycle{!e & h}",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "e & h; e & !h; cycle{e & !h}",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "h; !e & !h; cycle{!e & !h}",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "X X X e",
-        "type": "tracesatisfaction_yn",
-        "trace": "e;!e;!e;e;cycle{!e}",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "No",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateIndex"
-                ]
-            }
-        ]
-    }
-]
\ No newline at end of file
diff --git a/src/static/robotrain-odd.json b/src/static/robotrain-odd.json
deleted file mode 100644
index 9dab9ac..0000000
--- a/src/static/robotrain-odd.json
+++ /dev/null
@@ -1 +0,0 @@
-[{"question": "The engine is on in exactly one state, but not necessarily the first state.", "type": "englishtoltl", "options": [{"option": "!e U (e & (X (G (!e))))", "isCorrect": true, "misconceptions": []}, {"option": "(! ((e U e) & (X (G (! e)))))", "isCorrect": false, "misconceptions": ["MisconceptionCode.Precedence"]}, {"option": "(! ((G e) U (e & (X (G (! e))))))", "isCorrect": false, "misconceptions": ["MisconceptionCode.BadStateQuantification"]}, {"option": "(! (e U (e & (X (! e)))))", "isCorrect": false, "misconceptions": ["MisconceptionCode.ImplicitG"]}, {"option": "(! (e U (e & (F (G (! e))))))", "isCorrect": false, "misconceptions": ["MisconceptionCode.OtherImplicit"]}, {"option": "(! ((e U (e & (X (G (! e))))) & (F (e & (X (G (! e)))))))", "isCorrect": false, "misconceptions": ["MisconceptionCode.WeakU"]}]}, {"question": "Whenever the engine is on, the headlight will be on then or at some point in the future.", "type": "englishtoltl", "options": [{"option": "(G (e -> (F h)))", "isCorrect": true, "misconceptions": []}, {"option": "(F (e -> (F h)))", "isCorrect": false, "misconceptions": ["MisconceptionCode.BadStateQuantification"]}, {"option": "(G (e -> h))", "isCorrect": false, "misconceptions": ["MisconceptionCode.ImplicitF"]}, {"option": "(e -> (F h))", "isCorrect": false, "misconceptions": ["MisconceptionCode.ImplicitG", "MisconceptionCode.OtherImplicit"]}]}, {"question": "G (e -> (X (X (X e))))", "type": "tracesatisfaction_mc", "options": [{"option": "!e & !h; e & h;e & h; !e & !h; cycle{e & h}", "isCorrect": true, "misconceptions": []}, {"option": "e & !h; !e & !h; e & h; !e & !h; cycle{e & h}", "isCorrect": false, "misconceptions": ["MisconceptionCode.BadStateQuantification"]}, {"option": "!e & !h; e & !h; e & !h; e & h; !e; cycle{e & h}", "isCorrect": false, "misconceptions": ["MisconceptionCode.ImplicitG"]}, {"option": "e & !h; !e & h; !e & h; !e & h; cycle{e & h; !e & h}", "isCorrect": false, "misconceptions": ["MisconceptionCode.OtherImplicit"]}]}, {"question": "e", "type": "tracesatisfaction_yn", "trace": "!e & h; e & h; e & h;cycle{e & h}", "options": [{"option": "Yes", "isCorrect": false, "misconceptions": ["MisconceptionCode.ImplicitG"]}, {"option": "No", "isCorrect": true, "misconceptions": []}]}, {"question": "e U h", "type": "tracesatisfaction_yn", "trace": "e & !h;e & !h;cycle{e & h}", "options": [{"option": "No", "isCorrect": false, "misconceptions": ["MisconceptionCode.ExclusiveU"]}, {"option": "Yes", "isCorrect": true, "misconceptions": []}]}]
\ No newline at end of file
diff --git a/src/static/robotrain.json b/src/static/robotrain.json
deleted file mode 100644
index 67878cd..0000000
--- a/src/static/robotrain.json
+++ /dev/null
@@ -1,306 +0,0 @@
-[
-    {
-        "question": "Whenever the engine is on, it is off in the next state and on again in the state after that.",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "G (e -> (X (!e)) & (X (X e)))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(G ((e -> (X (! e))) & (X (X e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.Precedence"
-                ]
-            },
-            {
-                "option": "(G (e -> ((X (! e)) & (X e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateIndex"
-                ]
-            },
-            {
-                "option": "(F (e -> ((X (! e)) & (X (X e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "(e -> ((X (! e)) & (X (X e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            },
-            {
-                "option": "(G (e -> ((X (! e)) & (F (X e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "The engine is on in exactly one state, but not necessarily the first state.",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "!e U (e & (X (G (!e))))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(! ((e U e) & (X (G (! e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.Precedence"
-                ]
-            },
-            {
-                "option": "(! ((G e) U (e & (X (G (! e))))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "(! (e U (e & (X (! e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            },
-            {
-                "option": "(! (e U (e & (F (G (! e))))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            },
-            {
-                "option": "(! ((e U (e & (X (G (! e))))) & (F (e & (X (G (! e)))))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.WeakU"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "The engine cannot stay on for three states in a row.",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "G ((e & (X e)) -> (X (X (!e))))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(G ((e & (X e)) -> (X (! e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateIndex"
-                ]
-            },
-            {
-                "option": "(F ((e & (X e)) -> (X (X (! e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "((e & (X e)) -> (X (X (! e))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            },
-            {
-                "option": "(G ((e & (F e)) -> (F (X (! e)))))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "Whenever the engine is on, the headlight will be on then or at some point in the future.",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "(G (e -> (F h)))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "(F (e -> (F h)))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "(G (e -> h))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitF"
-                ]
-            },
-            {
-                "option": "(e -> (F h))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG",
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "The engine is on for zero or more states, and then turns off and remains off in the future.",
-        "type": "englishtoltl",
-        "options": [
-            {
-                "option": "e U (G (!e))",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "((F e) U (G (! e)))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "(e U (! e))",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            },
-            {
-                "option": "e",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "G (e -> (X (X (X e))))",
-        "type": "tracesatisfaction_mc",
-        "options": [
-            {
-                "option": "!e & !h; e & h;e & h; !e & !h; cycle{e & h}",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "e & !h; !e & !h; e & h; !e & !h; cycle{e & h}",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "!e & !h; e & !h; e & !h; e & h; !e; cycle{e & h}",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.ImplicitG"
-                ]
-            },
-            {
-                "option": "e & !h; !e & h; !e & h; !e & h; cycle{e & h; !e & h}",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "(X e) U (X h)",
-        "type": "tracesatisfaction_mc",
-        "options": [
-            {
-                "option": "!e & !h; cycle{!e & h}",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "e & h; e & !h; cycle{e & !h}",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.BadStateQuantification"
-                ]
-            },
-            {
-                "option": "h; !e & !h; cycle{!e & !h}",
-                "isCorrect": false,
-                "misconceptions": [
-                    "MisconceptionCode.OtherImplicit"
-                ]
-            }
-        ]
-    },
-    {
-        "question": "e",
-        "type": "tracesatisfaction_yn",
-        "trace": "!e & h; e & h; e & h;cycle{e & h}",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.ImplicitG"]
-            },
-            {
-                "option": "No",
-                "isCorrect": true,
-                "misconceptions": []
-            }
-        ]
-    },
-    {
-        "question": "X X X e",
-        "type": "tracesatisfaction_yn",
-        "trace": "e;!e;!e;e;cycle{!e}",
-        "options": [
-            {
-                "option": "Yes",
-                "isCorrect": true,
-                "misconceptions": []
-            },
-            {
-                "option": "No",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.BadStateIndex"]
-            }
-        ]
-    },
-    {
-        "question": "e U h",
-        "type": "tracesatisfaction_yn",
-        "trace": "e & !h;e & !h;cycle{e & h}",
-        "options": [
-            {
-                "option": "No",
-                "isCorrect": false,
-                "misconceptions": ["MisconceptionCode.ExclusiveU"]
-            },
-            {
-                "option": "Yes",
-                "isCorrect": true,
-                "misconceptions": []
-            }
-        ]
-    }
-]
\ No newline at end of file
diff --git a/src/templates/exercise.html b/src/templates/exercise.html
index 7cd3b03..6200357 100644
--- a/src/templates/exercise.html
+++ b/src/templates/exercise.html
@@ -35,53 +35,35 @@
     <div class="container-lg">
         {% include 'navbar.html' %}
 
-        <h6 id="exerciseName">{{ exercise_name }}</h6>
-        {% if syntax_choice %}
-        <p class="text-muted mb-0">
-            <small>Syntax: <strong>{{ syntax_choice }}</strong></small>
-        </p>
-        {% endif %}
-
         <div id="questions">
             {% for q in questions %}
             {%set qindex = loop.index %}
             <div class="card mt-4 question">
 
-
-
-
-                <div class="card-header mb-2">
-                    <div class="row">
-                        <div class="col-12">
-                            <p class="font-italic">
-                                {% if q.description %}
-                                    {{ q.description }}
-                                {% endif %}
-                            </p>
-                        </div>
-                    </div>
-                    <div class="row align-items-center">
-                        <div class="col">
-                            <p class="lead">
-                                {% if q.type == "englishtoltl" %}
-                                    Which of the following LTL formulae best represents this English sentence?
-                                {% elif q.type == "tracesatisfaction_mc" %}
-                                    Which of the following traces satisfies the following LTL formula?
-                                {% elif q.type == "tracesatisfaction_yn" %}
-                                    Does this trace satisfy the following LTL formula?
-                                {% else %}
-                                    <div class="alert alert-danger" role="alert">
-                                        <strong>Unrecognized Question type! {{ q.type }}</strong>
-                                    </div>
-                                {% endif %}
-                            </p>
-                        </div>
-                        <div class="col text-right">
-                            <small class="text-muted question-counter"> Question {{ qindex }} of {{ questions | length}} </small>
-                            
-                        </div>
+                <div class="card-header py-2">
+                    <div class="d-flex justify-content-between align-items-center mb-1">
+                        <small class="text-muted">
+                            <span id="exerciseName" class="font-weight-bold">{{ exercise_name }}</span>
+                            {% if syntax_choice %}<span class="mx-1">·</span><span>{{ syntax_choice }}</span>{% endif %}
+                        </small>
+                        <small class="text-muted question-counter">Question {{ qindex }} of {{ questions | length }}</small>
                     </div>
-                    
+                    <p class="mb-0 font-weight-bold">
+                        {% if q.type == "englishtoltl" %}
+                            Which of the following LTL formulae best represents this English sentence?
+                        {% elif q.type == "tracesatisfaction_mc" %}
+                            Which of the following traces satisfies the following LTL formula?
+                        {% elif q.type == "tracesatisfaction_yn" %}
+                            Does this trace satisfy the following LTL formula?
+                        {% else %}
+                            <div class="alert alert-danger mb-0" role="alert">
+                                <strong>Unrecognized Question type! {{ q.type }}</strong>
+                            </div>
+                        {% endif %}
+                    </p>
+                    {% if q.description %}
+                    <p class="font-italic text-muted mb-0 mt-1"><small>{{ q.description }}</small></p>
+                    {% endif %}
                 </div>
 
 
@@ -125,7 +107,7 @@ <h5 id="{{ qindex }}question_text" class="card-title mb-2">
 
                     <ul class="list-group">
                         {% for option in q.options %}
-                        <li class="list-group-item mb-2 trace-option-item">
+                        <li class="list-group-item trace-option-item">
                             <label class="form-check-label d-block w-100 mb-0 trace-option-label" for="{{ qindex }}option{{ loop.index }}">
                                 <div class="form-check w-100 mb-0 trace-option-body">
                                     <input class="form-check-input" type="radio" name="{{ qindex }}option"
diff --git a/src/templates/exercisehome.html b/src/templates/exercisehome.html
index c788a35..cab51f7 100644
--- a/src/templates/exercisehome.html
+++ b/src/templates/exercisehome.html
@@ -33,12 +33,6 @@ <h5 class="lead">Load an exercise or generate a personalized one</h5>
                 </div>
             </div>
 
-            <h5> Tickets </h5>
-            <ul>
-                <li> <a href="/entryexitticket/entry">First Exercise (Entry Ticket)</a> </li>
-                <li> <a href="/entryexitticket/exit">Final Exercise (Exit Ticket)</a> </li>
-            </ul>
-
 
 
             <script>
diff --git a/src/templates/loadfromjson.html b/src/templates/loadfromjson.html
index f7b909c..6878c28 100644
--- a/src/templates/loadfromjson.html
+++ b/src/templates/loadfromjson.html
@@ -32,8 +32,6 @@ <h5> Load an Exercise from JSON</h5>
                     <div class="col-12">
                         <p class="mt-2">Or choose a pre-authored exercise:</p>
                         <ul>
-                            <li class="alert-secondary" onclick="document.querySelector('textarea[name=sourceuri]').value = 'preload:robotrain.json';">Robotrain</li> 
-                            <li class="alert-secondary" onclick="document.querySelector('textarea[name=sourceuri]').value = 'preload:lightpanel.json';">Light Panel</li>
                             <li class="alert-secondary" onclick="document.querySelector('textarea[name=sourceuri]').value = 'preload:equivalent.json';">EquivalentAnswers</li>
                         </ul>
                     </div>
diff --git a/src/templates/prebuiltexercises/lightpanel.html b/src/templates/prebuiltexercises/lightpanel.html
deleted file mode 100644
index f591558..0000000
--- a/src/templates/prebuiltexercises/lightpanel.html
+++ /dev/null
@@ -1,207 +0,0 @@
-<!DOCTYPE html>
-<html>
-
-<head>
-    <title>LTL Tutor: Robotrain</title>
-
-    <!-- Include Bootstrap CSS -->
-    <link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/css/bootstrap.min.css">
-
-    <!-- Include Bootstrap JS and jQuery -->
-    <script src="https://code.jquery.com/jquery-3.5.1.slim.min.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/@popperjs/core@2.5.4/dist/umd/popper.min.js"></script>
-    <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/js/bootstrap.min.js"></script>
-
-    <script src="{{ url_for('static', filename='js/tracerenderer.js') }}"></script>
-
-    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/default.min.css">
-    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js"></script>
-    <script src="{{ url_for('static', filename='js/ltlhljs.js') }}"></script>
-
-    <script src="{{ url_for('static', filename='js/common-functionality.js') }}"></script>
-    <script src="{{ url_for('static', filename='js/checkanswers.js') }}"></script>
-    <script>
-        hljs.registerLanguage('ltl', ltlSyntaxDefs);
-        hljs.highlightAll();
-    </script>
-</head>
-
-<body>
-    <div class="container">
-        {% include 'navbar.html' %}
-
-        <h3>Light Panel</h3>
-        <div class="alert alert-secondary alert-dismissible fade show" role="alert">
-            <button type="button" class="close" data-dismiss="alert" aria-label="Close">
-              <span aria-hidden="true">&times;</span>
-            </button>
-            The questions ask about the state of an instrument panel over time. The panel has three colors: Red (<code>red</code>), Green (<code>green</code>), and Blue (<code>blue</code>).
-
-            You will be asked to answer three kinds of questions:
-            <ul>
-                <li>English to LTL: Given an English sentence, choose the LTL formula that best represents it.</li>
-                <li>Trace Satisfaction (Multiple Choice): Given an LTL formula, choose the trace that satisfies it.</li>
-                <li>Trace Satisfaction (Yes/No): Given an LTL formula, determine if a trace satisfies it.</li>
-            </ul>
-          </div>
-
-
-
-        <div id="questions">
-            {% for q in questions %}
-            {%set qindex = loop.index %}
-            <div class="card mt-4 question">
-                <div class="card-body">
-                    <p class="text-muted"> Question {{ qindex }} of {{ questions | length}} </p>
-                    <h5 class="card-title">
-                        {% if q.type == "englishtoltl" %}
-                        Which of the following LTL formulae best represents this English sentence?
-                        {% elif q.type == "tracesatisfaction_mc" %}
-                        Which of the following traces satisfies the following LTL formula?
-                        {% elif q.type == "tracesatisfaction_yn" %}
-                        Does this trace satisfy the following LTL formula?
-                        {% else %}
-                        <div class="alert alert-danger" role="alert">
-                            <strong>Unrecognized Question type! {{ q.type }}</strong>
-                        </div>
-                        {% endif %}
-                    </h5>
-                    <hr>
-                    {% if q.feedback %}
-                    <div id="{{ qindex }}feedback" class="predeterminedfeedback" style="display: none;"> {{ q.feedback |
-                        safe}} </div>
-                    {% endif %}
-
-
-                    {% if q.type == "tracesatisfaction_yn" %}
-                    <h5 id="{{ qindex }}question_text" class="card-subtitle mb-2">Formula: 
-                        <pre><code class="actualQuestion language-ltl"> {{ q.question}} </code></pre></h5>
-                    <div class="trace-diagram" id="q{{qindex}}_yn_trace"
-                        aria-label="{{q.trace}}" data-trace='{{ q.trace_data | tojson }}'></div>
-
-                    <!-- WHAT CAN WE DOUBLE THESE? -->
-                    <div class="text-muted d-none" id="{{ qindex }}alttrace_sat">Trace Alt:
-                        <pre class="actualQuestionTrace"> {{ q.trace}}</pre>
-                    </div>
-                    {% elif q.type == "tracesatisfaction_mc" %}
-                    <h5 id="{{ qindex }}question_text" class="card-subtitle mb-2">Formula: 
-                        <pre><code class="actualQuestion language-ltl">{{ q.question}}</code></pre></h5>
-                    {% else %}
-                    <h5 id="{{ qindex }}question_text" class="card-subtitle mb-2 actualQuestion"
-                        style="white-space: pre-wrap;">{{ q.question}}
-                    </h5>
-                    {% endif %}
-
-                    <ul class="list-group">
-                        {% for option in q.options %}
-                        <li class="list-group-item">
-                            <input type="radio" name="{{ qindex }}option" id="{{ qindex }}option{{ loop.index }}"
-                                class="option" value="{{ option.option }}"
-                                data-misconceptions="{{ option.misconceptions }}" data-correct="{{ option.isCorrect }}"
-                                {% if option.generatedFromFormula %}
-                                data-generatedfromformula=" {{ option.generatedFromFormula }} " {% endif %}>
-                            <label for="{{ qindex }}option{{ loop.index }}">
-                                {% if q.type == 'tracesatisfaction_mc' %}
-                                <div aria-label="{{option.option}}" class="trace-diagram"
-                                    id="traceforq{{ qindex }}option{{ loop.index }}" data-trace='{{ option.trace_data | tojson }}'></div>
-                                <div class="text-muted d-none"> Trace Alt:
-                                    <pre> {{ option.option }}</pre>
-                                </div>
-                                {% else %}
-                                <pre><code class="language-ltl">{{ option.option }}</code></pre>
-                                {% endif %}
-                            </label>
-                        </li>
-                        {% endfor %}
-                    </ul>
-
-
-
-
-                    <button class="btn btn-primary" onclick="{{q.type}}_getfeedback(this); enableNextButton(this)">Check
-                        Answer</button>
-                    <!-- TODO: Disable this, and then re-enable -->
-                    <button class="btn btn-primary next" disabled>Next Question</button>
-
-                </div>
-            </div>
-            {% endfor %}
-        </div>
-
-        <script>
-            function enableNextButton(checkAnswerButton) {
-                var parent = checkAnswerButton.parentNode;
-                var nextButton = parent.getElementsByClassName('next')[0];
-                nextButton.disabled = false;
-            }
-        </script>
-        <div id="feedback">
-
-        </div>
-
-        <div id="done" style="display: none;" class="alert alert-dark" role="alert">
-            <h4 class="alert-heading">Well done! You have completed the exercise</h4>
-
-            <p>You got <span id="correctCount">0</span> questions correct and </p>
-            <span id="incorrectCount">0</span> questions incorrect.</p>
-
-        </div>
-    </div>
-
-
-    <script>
-        $(document).ready(function () {
-            
-            const ui_load_timeout_delay = 150;
-            function renderTraceDiagrams(container) {
-                $(container).find('.trace-diagram').each(function () {
-                    var el = this;
-                    if (el.dataset.trace && !el.dataset.rendered) {
-                        try {
-                            var data = JSON.parse(el.dataset.trace);
-                            TraceRenderer.render(el, data);
-                            el.dataset.rendered = 'true';
-                        } catch (e) {
-                            console.error('Error rendering trace diagram', e);
-                        }
-                    }
-                });
-            }
-
-
-            // Hide all questions at the start
-            $('.question').hide();
-
-            // Show the first question
-            $('.question:first').show();
-            // Initialize trace diagrams for the first question
-
-            let first_question_to_render = $('.question:first');
-
-            renderTraceDiagrams(first_question_to_render);
-
-            // When the "Next" button is clicked, hide the current question and show the next one
-            $('.next').click(function () {
-                // Empty the feedback div
-                $('#feedback').empty();
-                $('#feedback').removeClass();
-
-                var nextQuestion = $(this).closest('.question').hide().next('.question');
-                if (nextQuestion.length) {
-                    nextQuestion.show();
-
-                    let to_render = nextQuestion;
-
-                    renderTraceDiagrams(to_render);
-                } else {
-                    // If there are no more questions, show the "done" section
-                    $('#done').show();
-                }
-            });
-        });
-    </script>
-
-
-</body>
-
-</html>
\ No newline at end of file
diff --git a/src/templates/prebuiltexercises/robotrain.html b/src/templates/prebuiltexercises/robotrain.html
deleted file mode 100644
index d135edb..0000000
--- a/src/templates/prebuiltexercises/robotrain.html
+++ /dev/null
@@ -1,236 +0,0 @@
-<!DOCTYPE html>
-<html>
-
-<head>
-    <title>LTL Tutor: RoboTrain</title>
-
-    <!-- Include Bootstrap CSS -->
-    <link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/css/bootstrap.min.css">
-
-    <!-- Include Bootstrap JS and jQuery -->
-    <script src="https://code.jquery.com/jquery-3.5.1.slim.min.js"></script>
-    <script src="https://cdn.jsdelivr.net/npm/@popperjs/core@2.5.4/dist/umd/popper.min.js"></script>
-    <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.5.2/js/bootstrap.min.js"></script>
-
-    <script src="{{ url_for('static', filename='js/tracerenderer.js') }}"></script>
-
-    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/default.min.css">
-    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js"></script>
-    <script src="{{ url_for('static', filename='js/ltlhljs.js') }}"></script>
-
-    <script src="{{ url_for('static', filename='js/common-functionality.js') }}"></script>
-    <script src="{{ url_for('static', filename='js/checkanswers.js') }}"></script>
-    <script>
-        hljs.registerLanguage('ltl', ltlSyntaxDefs);
-        hljs.highlightAll();
-    </script>
-
-    <link rel="stylesheet" href="{{ url_for('static', filename='css/common.css') }}">
-</head>
-
-<body>
-    <div class="container">
-        {% include 'navbar.html' %}
-        <h6 id="exerciseName">{{ exercise_name }}</h6>
-        
-        <div class="alert alert-secondary alert-dismissible fade show" role="alert">
-            <button type="button" class="close" data-dismiss="alert" aria-label="Close">
-              <span aria-hidden="true">&times;</span>
-            </button>
-
-            This exercise asks questions about the state of a robot-driven train over time. 
-            This RoboTrain has 2 components, each of which can be ON or OFF at any point in time: the engine (<code>e</code>), and the headlight (<code>h</code>).
-
-            You will be asked to answer three kinds of questions:
-            <ul>
-                <li>English to LTL: Given an English sentence, choose the LTL formula that best represents it.</li>
-                <li>Trace Satisfaction (Multiple Choice): Given an LTL formula, choose the trace that satisfies it.</li>
-                <li>Trace Satisfaction (Yes/No): Given an LTL formula, determine if a trace satisfies it.</li>
-            </ul>
-          </div>
-
-
-        <div id="questions">
-            {% for q in questions %}
-            {%set qindex = loop.index %}
-            <div class="card mt-4 question">
-
-
-                <div class="card-header mb-2 d-flex align-items-center">
-                    <h6>
-                        {% if q.type == "englishtoltl" %}
-                        Which of the following LTL formulae best represents this English sentence?
-                        {% elif q.type == "tracesatisfaction_mc" %}
-                        Which of the following traces satisfies the following LTL formula?
-                        {% elif q.type == "tracesatisfaction_yn" %}
-                        Does this trace satisfy the following LTL formula?
-                        {% else %}
-                        <div class="alert alert-danger" role="alert">
-                            <strong>Unrecognized Question type! {{ q.type }}</strong>
-                        </div>
-                        {% endif %}
-                    </h6>
-                    <small class="text-muted text-right ml-auto"> Question {{ qindex }} of {{ questions | length}} </small>
-                </div>
-
-                <div class="card-body">
-
-
-                    {% if q.feedback %}
-                    <div id="{{ qindex }}feedback" class="predeterminedfeedback" style="display: none;"> {{ q.feedback |
-                        safe}} </div>
-                    {% endif %}
-
-
-                    {% if q.type == "tracesatisfaction_yn" %}
-                    <h5 id="{{ qindex }}question_text" class="card-title mb-2">
-                        <pre><code class="actualQuestion language-ltl"> {{ q.question}} </code></pre>
-                    </h5>
-                    <div class="trace-diagram" id="q{{qindex}}_yn_trace"
-                        aria-label="{{q.trace}}" data-trace='{{ q.trace_data | tojson }}'></div>
-
-                    <div class="text-muted d-none" id="{{ qindex }}alttrace_sat">Trace Alt:
-                        <pre class="actualQuestionTrace"> {{ q.trace}}</pre>
-                    </div>
-                    {% elif q.type == "tracesatisfaction_mc" %}
-                    <h5 id="{{ qindex }}question_text" class="card-title mb-2">
-                        <pre><code class="actualQuestion language-ltl">{{ q.question}}</code></pre>
-                    </h5>
-                    {% else %}
-                    <h5 id="{{ qindex }}question_text" class="card-title mb-2 actualQuestion"
-                        style="white-space: pre-wrap;">{{ q.question}}
-                    </h5>
-                    {% endif %}
-
-                    <ul class="list-group">
-                        {% for option in q.options %}
-                        <li class="list-group-item mb-2 d-flex">
-                            <label class="form-check-label" for="{{ qindex }}option{{ loop.index }}">
-                                <div class="form-check flex-grow-1">
-                                    <input class="form-check-input" type="radio" name="{{ qindex }}option"
-                                        id="{{ qindex }}option{{ loop.index }}" class="option"
-                                        value="{{ option.option }}" data-misconceptions="{{ option.misconceptions }}"
-                                        data-correct="{{ option.isCorrect }}" {% if option.generatedFromFormula %}
-                                        data-generatedfromformula=" {{ option.generatedFromFormula }} " {% endif %}>
-
-
-                                    {% if q.type == 'tracesatisfaction_mc' %}
-                                    <div aria-label="{{option.option}}" class="trace-diagram"
-                                        id="traceforq{{ qindex }}option{{ loop.index }}" data-trace='{{ option.trace_data | tojson }}'></div>
-                                    <div class="text-muted d-none"> Trace Alt:
-                                        <pre> {{ option.option }}</pre>
-                                    </div>
-                                    {% elif q.type == 'tracesatisfaction_yn' %}
-                                    <span class="text-justify">{{ option.option }}</span>
-                                    {% else %}
-                                    <pre><code class="language-ltl">{{ option.option }}</code></pre>
-                                    {% endif %}
-                                </div>
-                            </label>
-                        </li>
-                        {% endfor %}
-                    </ul>
-
-
-
-
-                    <button class="btn btn-primary" onclick="{{q.type}}_getfeedback(this); enableNextButton(this); scrollToFeedback(this)">Check
-                        Answer</button>
-                    <!-- TODO: Disable this, and then re-enable -->
-                    <button class="btn btn-primary next" disabled>Next Question</button>
-
-                </div>
-            </div>
-            {% endfor %}
-        </div>
-
-        <script>
-            function enableNextButton(checkAnswerButton) {
-                var parent = checkAnswerButton.parentNode;
-                var nextButton = parent.getElementsByClassName('next')[0];
-                nextButton.disabled = false;
-            }
-        </script>
-        <div id="feedback">
-
-        </div>
-
-        <div id="done" style="display: none;" class="card">
-            <div class="card-body">
-                <h6 class="card-title">Exercise completed! </h6>
-                <!-- <h6 class="card-subtitle mb-2 text-muted">You have completed the exercise</h6> -->
-
-                <p class="card-text">You got <span id="correctCount">0</span> questions correct and
-                    <span id="incorrectCount">0</span> questions incorrect.
-                </p>
-            </div>
-            <!-- I'd like a long button here that says, back to dashboard -->
-            <button class="btn btn-lg btn-block btn-primary" onclick="window.location.href='/';">Dashboard</button>
-
-            <div class="card-body bg-light shadow rounded mb-3">
-                <h4 class="card-title">Done using the tutor?</h4>
-                <p class="card-text"> If you feel like this tutor cannot teach you any more about Linear Temporal Logic,  
-                    we ask that you complete 
-                    <a href="/entryexitticket/exit"> <button class="btn btn-primary">this exit ticket </button></a>.
-                </p>
-            </div>
-        </div>
-    </div>
-
-
-    <script>
-        $(document).ready(function () {
-
-            const ui_load_timeout_delay = 150;
-            function renderTraceDiagrams(container) {
-                $(container).find('.trace-diagram').each(function () {
-                    var el = this;
-                    if (el.dataset.trace && !el.dataset.rendered) {
-                        try {
-                            var data = JSON.parse(el.dataset.trace);
-                            TraceRenderer.render(el, data);
-                            el.dataset.rendered = 'true';
-                        } catch (e) {
-                            console.error('Error rendering trace diagram', e);
-                        }
-                    }
-                });
-            }
-
-
-            // Hide all questions at the start
-            $('.question').hide();
-
-            // Show the first question
-            $('.question:first').show();
-            // Initialize trace diagrams for the first question
-
-            let first_question_to_render = $('.question:first');
-
-            renderTraceDiagrams(first_question_to_render);
-
-            // When the "Next" button is clicked, hide the current question and show the next one
-            $('.next').click(function () {
-                // Empty the feedback div
-                $('#feedback').empty();
-                $('#feedback').removeClass();
-
-                var nextQuestion = $(this).closest('.question').hide().next('.question');
-                if (nextQuestion.length) {
-                    nextQuestion.show();
-
-                    let to_render = nextQuestion;
-
-                    renderTraceDiagrams(to_render);
-                } else {
-                    // If there are no more questions, show the "done" section
-                    $('#done').show();
-                }
-            });
-        });
-    </script>
-
-    {% include 'footer.html' %}
-</body>
-
-</html>