diff --git a/code/README.md b/code/README.md
index 431d492..fac3c60 100644
--- a/code/README.md
+++ b/code/README.md
@@ -64,6 +64,6 @@ Wer etwas standardisierter seine Methoden testen will, kann automatisiertes Test
     ```
     rauskommentieren/löschen.
 
-Jetzt `test.sh` ausführen. Die unittests testen Methoden gegen mehrere vorkonstruierte Testfälle samt erwarteten Ergebnissen geprüft. Sollten einige Tests scheitern, dann Fehlermeldung durchlesen,und Methode entsprechend der Kritik überarbeiten.
+Jetzt `test.sh` ausführen. Die unittests testen Methoden gegen mehrere vorkonstruierte Testfälle samt erwarteten Ergebnissen geprüft. Sollten einige Tests scheitern, dann Fehlermeldung durchlesen, und Methode entsprechend der Kritik überarbeiten.
 
 Die geschriebenen Unittests sind natürlich nicht ausführlich. Man kann diese nach Bedarf ergänzen. Am sinnvollsten baut man welche, die wirklich scheitern können, sonst sagen die Tests nichts aus.
diff --git a/code/data.env b/code/data.env
index 8e9892b..2a9cebb 100644
--- a/code/data.env
+++ b/code/data.env
@@ -1,9 +1,9 @@
-# expr = "A0"
-# expr = "! A0"
-# expr = "( A0 && A1 )"
-# expr = "( A0 || A1 )"
-# expr = "( A0 -> A1 )"
-expr = "( A0 -> ((A0 && A3 && A4) || ! A2) )"
-# expr = "( A0 -> ((A0 && A3) || A2) )"
-# expr = "(( {G} || !{G} ) -> A5)"
-interpretation = "[ 'A0', 'A2' ]"
+# expr = 'A0'
+# expr = '! A0'
+# expr = '( A0 && A1 )'
+# expr = '( A0 || A1 )'
+# expr = '( A0 -> A1 )'
+expr = '( A0 -> ((A0 && A3 && A4) || ! A2) )'
+# expr = '( A0 -> ((A0 && A3) || A2) )'
+# expr = '(( {G} || !{G} ) -> A5)'
+interpretation = '[ "A0", "A2" ]'
diff --git a/code/main.py b/code/main.py
index 8f4fcbb..74a71f4 100644
--- a/code/main.py
+++ b/code/main.py
@@ -50,7 +50,6 @@ def main():
     display_results(expr, fml, I, results);
     return;
 
-
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 # SONSTIGE METHODEN
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
diff --git a/code/run.sh b/code/run.sh
index f7e4520..58db318 100755
--- a/code/run.sh
+++ b/code/run.sh
@@ -12,7 +12,7 @@ function call_python() {
     [ "$OSTYPE" == "msys" ] && py -3 $@ || python3 $@;
 }
 
-function run_check_requirements() {
+function check_requirements() {
     call_python -m pip install "$( cat requirements )" >> /dev/null;
 }
 
@@ -25,7 +25,7 @@ function run_code() {
 ################################
 
 # Kann auskommentiert werden, wenn nötige Module schon installiert:
-run_check_requirements;
+check_requirements;
 
 # Code ausführen:
-run_code
+run_code;
diff --git a/code/test.sh b/code/test.sh
index a564f68..07f6f6c 100755
--- a/code/test.sh
+++ b/code/test.sh
@@ -12,7 +12,7 @@ function call_python() {
     [ "$OSTYPE" == "msys" ] && py -3 $@ || python3 $@;
 }
 
-function run_check_requirements() {
+function check_requirements() {
     call_python -m pip install "$( cat requirements )" >> /dev/null;
 }
 
@@ -32,7 +32,7 @@ function run_unittests(){
 ################################
 
 # Kann auskommentiert werden, wenn nötige Module schon installiert:
-run_check_requirements;
+check_requirements;
 
 # Code testen (unittests):
 run_unittests;