diff --git a/collects/plai/plai-advanced.ss b/collects/plai/plai-advanced.ss
index 5257c09e08..9d71e1cae5 100644
--- a/collects/plai/plai-advanced.ss
+++ b/collects/plai/plai-advanced.ss
@@ -1,5 +1,6 @@
 (module plai-advanced mzscheme
   (require (rename (lib "htdp-advanced.ss" "lang") plai-else else)
+           (lib "contract.ss" "mzlib" "private")
 	   "private/datatype.ss"
            "test-harness.ss")
 
@@ -15,6 +16,7 @@
   (provide (rename advanced-type-case type-case)
 	   define-type
 	   require provide provide-type
+           (all-from-except (lib "contract.ss" "mzlib" "private") contract)
            (all-from "test-harness.ss"))
 
   (define-type-case advanced-type-case plai-else))
diff --git a/collects/plai/plai-intermediate.ss b/collects/plai/plai-intermediate.ss
index b60bd764f3..524d4da732 100644
--- a/collects/plai/plai-intermediate.ss
+++ b/collects/plai/plai-intermediate.ss
@@ -1,5 +1,6 @@
 (module plai-intermediate mzscheme
   (require (rename (lib "htdp-intermediate-lambda.ss" "lang") plai-else else)
+           (lib "contract.ss" "mzlib" "private")
 	   "private/datatype.ss"
            "test-harness.ss")
 
@@ -15,6 +16,7 @@
   (provide (rename intermediate-type-case type-case)
 	   define-type
 	   require provide provide-type
+           (all-from (lib "contract.ss" "mzlib" "private"))
            (all-from "test-harness.ss"))
 
   (define-type-case intermediate-type-case plai-else))
diff --git a/collects/plai/plai-pretty-big.ss b/collects/plai/plai-pretty-big.ss
index f5dfaff786..e4e705b2e2 100644
--- a/collects/plai/plai-pretty-big.ss
+++ b/collects/plai/plai-pretty-big.ss
@@ -1,6 +1,7 @@
 (module plai-pretty-big mzscheme
   (require "private/datatype.ss"
-           "test-harness.ss")
+           "test-harness.ss"
+           (lib "contract.ss" "mzlib" "private"))
 
   ;; This macro requires & provides bindings without
   ;;  making them locally visible:
@@ -13,6 +14,7 @@
   (provide (rename pretty-big-type-case type-case)
 	   define-type
 	   provide-type
+           (all-from (lib "contract.ss" "mzlib" "private"))
            (all-from "test-harness.ss"))
 
   (define-type-case pretty-big-type-case else))