diff --git a/test/unit_Universe.jl b/test/unit_Universe.jl
index a1a63e242f..6033686745 100644
--- a/test/unit_Universe.jl
+++ b/test/unit_Universe.jl
@@ -78,11 +78,8 @@ for N in [Float64, Rational{Int}, Float32]
     # subset
     res, w = ⊆(B, U, true)
     @test B ⊆ U && res && w == N[]
-    # TODO witness production currently not supported
-    @test_throws ErrorException (⊆(U, B, true))
-    # res, w = ⊆(U, B, true)
-    # @test U ⊈ B && !res && w ∉ B
-    @test U ⊈ B
+    res, w = ⊆(U, B, true)
+    @test U ⊈ B && !res && w ∉ B
     res, w = ⊆(U, U, true)
     @test U ⊆ U && res && w == N[]
 end