diff --git a/code/utests/u_rekursion.py b/code/utests/u_rekursion.py
index 8dcc69b..d90ac66 100644
--- a/code/utests/u_rekursion.py
+++ b/code/utests/u_rekursion.py
@@ -25,10 +25,10 @@ from aussagenlogik.rekursion import rekursiv_eval;
 # TESTFALL Atome(·)
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-@unittest.skip("Methode noch nicht implementiert")
+@unittest.skip('Methode noch nicht implementiert')
 class TestRekursivAtoms(TestCase):
     def test_noduplicates(self):
-        fml = string_to_parts('( A4 && ( A4 || A4 ) )');
+        fml = string_to_parts('( A4 && ( A4 || A4 ))');
         val = sorted(rekursiv_atoms(fml));
         assert len([_ for _ in val if _ == 'A4']) == 1, 'Atome dürfen nicht mehrfach vorkommen!';
 
@@ -52,7 +52,7 @@ class TestRekursivAtoms(TestCase):
 # TESTFALL Depth(·)
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-@unittest.skip("Methode noch nicht implementiert")
+@unittest.skip('Methode noch nicht implementiert')
 class TestRekursivDepth(TestCase):
     def test_calc1(self):
         fml = string_to_parts('A0');
@@ -65,7 +65,7 @@ class TestRekursivDepth(TestCase):
         assert val == 2, 'computed {}'.format(val);
 
     def test_calc3(self):
-        fml = string_to_parts('(! A0 && A3 )');
+        fml = string_to_parts('( ! A0 && A3 )');
         val = rekursiv_depth(fml);
         assert val == 2, 'computed {}'.format(val);
 
@@ -84,7 +84,7 @@ class TestRekursivDepth(TestCase):
 # TESTFALL Länge(·)
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-@unittest.skip("Methode noch nicht implementiert")
+@unittest.skip('Methode noch nicht implementiert')
 class TestRekursivLength(TestCase):
     def test_calc1(self):
         fml = string_to_parts('A0');
@@ -97,7 +97,7 @@ class TestRekursivLength(TestCase):
         assert val == 3, 'computed {}'.format(val);
 
     def test_calc3(self):
-        fml = string_to_parts('(! A0 && A3 )');
+        fml = string_to_parts('( ! A0 && A3 )');
         val = rekursiv_length(fml);
         assert val == 4, 'computed {}'.format(val);
 
@@ -117,7 +117,7 @@ class TestRekursivLength(TestCase):
 # TESTFALL Anzahl Klammern(·)
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-@unittest.skip("Methode noch nicht implementiert")
+@unittest.skip('Methode noch nicht implementiert')
 class TestRekursivParentheses(TestCase):
     def test_calc1(self):
         fml = string_to_parts('A0');
@@ -130,7 +130,7 @@ class TestRekursivParentheses(TestCase):
         assert val == 0, 'computed {}'.format(val);
 
     def test_calc3(self):
-        fml = string_to_parts('(! A0 && A3 )');
+        fml = string_to_parts('( ! A0 && A3 )');
         val = rekursiv_parentheses(fml);
         assert val == 2, 'computed {}'.format(val);
 
@@ -150,7 +150,7 @@ class TestRekursivParentheses(TestCase):
 # TESTFALL eval(·, ·)
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-# @unittest.skip("Methode noch nicht implementiert")
+# @unittest.skip('Methode noch nicht implementiert')
 class TestRekursivEval(TestCase):
     def test_literale(self):
         fml = string_to_parts('A0');
@@ -167,7 +167,7 @@ class TestRekursivEval(TestCase):
         assert val == 1;
 
     def test_complex1(self):
-        fml = string_to_parts('( ! A0 || (( A0 && A3 ) || A2 ) )');
+        fml = string_to_parts('( ! A0 || (( A0 && A3 ) || A2 ))');
         val = rekursiv_eval(fml, [ 'A0', 'A2' ]);
         assert val == 1;
         val = rekursiv_eval(fml, [ 'A0', 'A3' ]);
@@ -178,7 +178,7 @@ class TestRekursivEval(TestCase):
         assert val == 1;
 
     def test_complex2(self):
-        fml = string_to_parts('( ! A0 || (( A0 && A3 ) || ! A2) )');
+        fml = string_to_parts('( ! A0 || (( A0 && A3 ) || ! A2 ))');
         val = rekursiv_eval(fml, [ 'A0', 'A2' ]);
         assert val == 0;
         val = rekursiv_eval(fml, [ 'A0', 'A3' ]);