diff --git a/test/propositionalbooleansat.jl b/test/propositionalbooleansat.jl
index 0a8dc7f..9d5a5ab 100644
--- a/test/propositionalbooleansat.jl
+++ b/test/propositionalbooleansat.jl
@@ -15,10 +15,6 @@ using SoleReasoners
 @test sat(parseformula("p∨¬p")) == true
 @test sat(parseformula("¬p∨p")) == true
 
-@atoms p q r
-
-@test sat(∧(p,q,r)) == true
-
 @test sat(parseformula("p∧q"))   == true
 @test sat(parseformula("p∧¬p"))  == false
 @test sat(parseformula("p∧¬¬p")) == true