diff --git a/stl/test_boolean_eval.py b/stl/test_boolean_eval.py
index f1279c0..39d6c5d 100644
--- a/stl/test_boolean_eval.py
+++ b/stl/test_boolean_eval.py
@@ -1,6 +1,6 @@
 import hypothesis.strategies as st
 import traces
-from hypothesis import given, settings, Verbosity, Phase
+from hypothesis import given
 from pytest import raises
 
 import stl
@@ -81,11 +81,6 @@ def test_eval_smoke_tests(phi):
 
 
 @given(SignalTemporalLogicStrategy)
-@settings(
-    max_shrinks=0,
-    verbosity=Verbosity.verbose,
-    perform_health_check=False,
-    phases=[Phase.generate])
 def test_temporal_identities(phi):
     stl_eval = stl.boolean_eval.pointwise_sat(phi)
     stl_eval2 = stl.boolean_eval.pointwise_sat(~phi)