diff --git a/collects/scheme/exists/lang.rkt b/collects/scheme/exists/lang.rkt
index 443205d8a9..4c0b5622da 100644
--- a/collects/scheme/exists/lang.rkt
+++ b/collects/scheme/exists/lang.rkt
@@ -229,7 +229,7 @@
     udp-connected?
     udp?
     unit?
-    unknown?
+    ; ??? unknown?
     variable-reference?
     vector?
     void?
diff --git a/collects/unstable/contract.rkt b/collects/unstable/contract.rkt
index 9a85e6b318..b8ef09b7a6 100644
--- a/collects/unstable/contract.rkt
+++ b/collects/unstable/contract.rkt
@@ -1,6 +1,8 @@
 #lang racket/base
 (require racket/contract racket/dict racket/match)
 
+(define (proj-get c) contract-proc)
+
 (define path-element?
   (or/c path-string? (symbols 'up 'same)))
 ;; Eli: We already have a notion of "path element" which is different