From e907c1fd5e6fc2f008da1033c3c8e42c6df85a0e Mon Sep 17 00:00:00 2001
From: Marcus Zibrowius <marcus.zibrowius@cantab.net>
Date: Thu, 30 Mar 2023 12:15:16 +0200
Subject: [PATCH] planet names as titles for the first chapters

---
 server/adam/Adam/Levels/Contradiction.lean | 2 +-
 server/adam/Adam/Levels/Implication.lean   | 2 +-
 server/adam/Adam/Levels/Predicate.lean     | 2 +-
 server/adam/Adam/Levels/Proposition.lean   | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/server/adam/Adam/Levels/Contradiction.lean b/server/adam/Adam/Levels/Contradiction.lean
index 103085a..af58f48 100644
--- a/server/adam/Adam/Levels/Contradiction.lean
+++ b/server/adam/Adam/Levels/Contradiction.lean
@@ -7,7 +7,7 @@ import Adam.Levels.Contradiction.L06_Summary
 
 Game "Adam"
 World "Contradiction"
-Title "Beweisstrategien"
+Title "Spinoza"
 
 Introduction "
 **Robo**:  Ich glaube, das ist Spinoza, einer der ganz wenigen Asteroiden vom Type QED.  Schnell.  Wir müssen uns ein bisschen beeilen, sonst verpassen wir ihn.
diff --git a/server/adam/Adam/Levels/Implication.lean b/server/adam/Adam/Levels/Implication.lean
index b3c2887..ebdf64a 100644
--- a/server/adam/Adam/Levels/Implication.lean
+++ b/server/adam/Adam/Levels/Implication.lean
@@ -14,7 +14,7 @@ import Adam.Levels.Implication.L13_Summary
 
 Game "Adam"
 World "Implication"
-Title "Aussagenlogik 2"
+Title "Implis"
 
 Introduction
 "
diff --git a/server/adam/Adam/Levels/Predicate.lean b/server/adam/Adam/Levels/Predicate.lean
index ffd8b9f..202cbb4 100644
--- a/server/adam/Adam/Levels/Predicate.lean
+++ b/server/adam/Adam/Levels/Predicate.lean
@@ -10,7 +10,7 @@ import Adam.Levels.Predicate.L09_PushNeg
 
 Game "Adam"
 World "Predicate"
-Title "Prädikate"
+Title "Quantus"
 
 Introduction "Auf dem Schwestermond Quantus erwartet Euch bereits ein großer Ansammlung von Formalosopheninnen.  Sie reden alle wild durcheinander und Ihr habt Probleme, Euch überhaupt Gehör zu verschaffen.  Robo produziert schließlich ein lautes Gong-Geräusch, das sie kurzzeitig zur Ruhe bringt. 
 
diff --git a/server/adam/Adam/Levels/Proposition.lean b/server/adam/Adam/Levels/Proposition.lean
index 640929b..ac5e3e3 100644
--- a/server/adam/Adam/Levels/Proposition.lean
+++ b/server/adam/Adam/Levels/Proposition.lean
@@ -15,7 +15,7 @@ import Adam.Levels.Proposition.L13_Summary
 
 Game "Adam"
 World "Proposition"
-Title "Aussagenlogik 1"
+Title "Logo"
 
 Introduction "
 Durch eine unvorhergesehene und nicht-kanonische Singularität in der Raumzeit