diff --git a/src/core/soundness+vacuous-core.scala b/src/core/soundness+vacuous-core.scala
index 69cce1e..8fc1bb7 100644
--- a/src/core/soundness+vacuous-core.scala
+++ b/src/core/soundness+vacuous-core.scala
@@ -18,4 +18,4 @@ package soundness
 
 export vacuous.{Default, default, Unset, Optional, UnsetError, or, absent, present, vouch, mask,
     stdlib, presume, option, assume, lay, layGiven, let, letGiven, compact, optional, puncture,
-    only, unless, Unsafe, Extractor}
+    only, unless, provided, Unsafe, Extractor}