diff --git a/codego/aussagenlogik/recursion/recursion_test.go b/codego/aussagenlogik/recursion/recursion_test.go
index 0961767..94d3788 100644
--- a/codego/aussagenlogik/recursion/recursion_test.go
+++ b/codego/aussagenlogik/recursion/recursion_test.go
@@ -187,9 +187,8 @@ func TestAtomsNoduplicates(test *testing.T) {
 	assert.Equal(1, n, "Atome dürfen nicht mehrfach vorkommen!")
 }
 
-func TestAtomsNononatoms(test *testing.T) {
+func TestAtomsNoNonAtoms(test *testing.T) {
 	test.Skip("Methode noch nicht implementiert")
-	test.Skip("Syntax for generic expressions in ANTLR4 g4 needs to be implemented.")
 	var assert = assert.New(test)
 	var fml formulae.Formula
 	var val []string