diff --git a/os2.rkt b/os2.rkt
index 7ccc687..6d17786 100644
--- a/os2.rkt
+++ b/os2.rkt
@@ -31,7 +31,12 @@
 	 (except-out (struct-out kill) kill)
 	 (rename-out [make-kill kill])
 
-	 (struct-out at-meta-level))
+	 (struct-out at-meta-level)
+
+	 ;; Reexports from unify.rkt for convenience
+	 wild
+	 wild?
+	 non-wild?)
 
 ;; Endpoints are the units of deduplication.
 ;; Flows (in canonical form) are the units of presence.