diff --git a/collects/tests/unstable/options.rkt b/collects/tests/unstable/options.rkt
index 849ec29913..43cbaf3d7b 100644
--- a/collects/tests/unstable/options.rkt
+++ b/collects/tests/unstable/options.rkt
@@ -638,7 +638,7 @@
                                       "server"
                                       "a struct of type foo"))
                          
-                         (test-suite "transfer-option"
+                         (test-suite "transfer/c"
                                      
                                      (test-pass
                                       "passes after two transfers"
@@ -649,10 +649,10 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        (boo 1)))
                                      
@@ -668,10 +668,10 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        (boo 1)))
                                      
@@ -689,7 +689,7 @@
                                          (define (boo x) 'wrong))
                                        (module client racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require 'client)
                                        (displayln (boo 42))
                                        (boo 42))
@@ -707,10 +707,10 @@
                                          (define (boo x) x))
                                        (module client racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require 'client)
                                        (boo 'wrong))
-                                      (list "top-level" "client"))
+                                      (list "top-level" "top-level"))
                                      
                                      (test-contract-fail
                                       "fails (positive) after two transfers (with contract)"
@@ -724,10 +724,10 @@
                                          (define (boo x) 'wrong))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        (boo 1))
                                       (list "middle1" "middle0" "server")) 
@@ -744,20 +744,20 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        (boo 'wrong))
-                                      (list "top-level" "middle1" "middle0"))
+                                      (list "top-level" "top-level" "top-level"))
                                      
                                      (test-pass
                                       "passes after void transfer"
                                       (script
                                        (module server racket
                                          (require unstable/options)
-                                         (provide [transfer-option boo])
+                                         (provide (contract-out [boo transfer/c]))
                                          (define (boo x) x))
                                        (require 'server)))
                                      
@@ -770,7 +770,7 @@
                                          (define (boo x) x))
                                        (module client racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require 'client)
                                        (boo 42)))
                                      
@@ -784,7 +784,7 @@
                                        (module client racket
                                          (require unstable/options 'server)
                                          (define e-boo (exercise-option boo))
-                                         (provide (transfer-option e-boo)))
+                                         (provide (contract-out [e-boo transfer/c])))
                                        (require 'client)
                                        (e-boo 42)))
                                      
@@ -798,9 +798,57 @@
                                        (module client racket
                                          (require unstable/options 'server)
                                          (define e-boo (exercise-option boo))
-                                         (provide (transfer-option e-boo)))
+                                         (provide (contract-out [e-boo transfer/c])))
                                        (require 'client)
-                                       (e-boo 42))))
+                                       (e-boo 42)))
+                                     
+                                     (test-contract-fail
+                                      "fails (positive-ho) after three transfers and exercise (with-contract)"
+                                      (script
+                                       (module server racket
+                                         (require unstable/options)
+                                         (provide (contract-out [boo 
+                                                                 (option/c
+                                                                 (-> number? number?)
+                                                                 #:with-contract #t)]
+                                                                [bar (-> transfer/c number?)]))
+                                         (define (boo x) 'wrong)
+                                         (define (bar f) ((exercise-option f) 42)))
+                                       (module client racket
+                                         (require unstable/options 'server)
+                                         (provide (contract-out [boo transfer/c]
+                                                                [bar transfer/c])))
+                                       (module client1 racket
+                                         (require unstable/options 'client)
+                                         (provide (contract-out [boo transfer/c]
+                                                                [bar transfer/c])))                                      
+                                       (require 'client1)
+                                       (bar boo))
+                                      (list "top-level" "client1" "client" "server"))
+                                     
+                                     (test-contract-fail
+                                      "fails (negative-ho) after three transfers and exercise (with-contract)"
+                                      (script
+                                       (module server racket
+                                         (require unstable/options)
+                                         (provide (contract-out [boo 
+                                                                 (option/c
+                                                                 (-> number? number?)
+                                                                 #:with-contract #t)]
+                                                                [bar (-> transfer/c number?)]))
+                                         (define (boo x) 'wrong)
+                                         (define (bar f) ((exercise-option f) 'wrong)))
+                                       (module client racket
+                                         (require unstable/options 'server)
+                                         (provide (contract-out [boo transfer/c]
+                                                                [bar transfer/c])))
+                                       (module client1 racket
+                                         (require unstable/options 'client)
+                                         (provide (contract-out [boo transfer/c]
+                                                                [bar transfer/c])))                                      
+                                       (require 'client1)
+                                       (bar boo))
+                                      (list "server" "top-level" "top-level" "top-level"))) 
                          
                          (test-suite "exercise-option"
                                      
@@ -813,10 +861,10 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        ((exercise-option boo) 1)))
                                      
@@ -829,7 +877,7 @@
                                          (define (boo x) "wrong!"))
                                        (module middle racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module client racket
                                          (require unstable/options 'middle)
                                          ((exercise-option boo) 42))
@@ -845,12 +893,12 @@
                                          (define (boo x) x))
                                        (module middle racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module client racket
                                          (require unstable/options 'middle)
                                          ((exercise-option boo) "wrong!"))
                                        (require 'client))
-                                      (list "client" "middle"))   
+                                      (list "client" "client"))   
                                      
                                      (test-pass
                                       "passes after void exercise"
@@ -882,7 +930,7 @@
                                        (module client racket
                                          (require unstable/options 'server)
                                          (define e-boo (exercise-option boo))
-                                         (provide (transfer-option e-boo)))
+                                         (provide (contract-out [e-boo transfer/c])))
                                        (require 'client)))
                                      
                                      
@@ -897,10 +945,10 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        ((exercise-option boo) 1)))
                                      
@@ -915,7 +963,7 @@
                                          (define (boo x) "wrong!"))
                                        (module middle racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module client racket
                                          (require unstable/options 'middle)
                                          ((exercise-option boo) 42))
@@ -933,12 +981,12 @@
                                          (define (boo x) x))
                                        (module middle racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module client racket
                                          (require unstable/options 'middle)
                                          ((exercise-option boo) "wrong!"))
                                        (require 'client))
-                                      (list "client" "middle"))   
+                                      (list "client" "client"))   
                                      
                                      
                                      (test-contract-fail
@@ -968,7 +1016,7 @@
                                        (module client racket
                                          (require unstable/options 'server)
                                          (define e-boo (exercise-option boo))
-                                         (provide (transfer-option e-boo)))
+                                         (provide (contract-out [e-boo transfer/c])))
                                        (require 'client))))
                          
                          
@@ -983,10 +1031,10 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        ((waive-option boo) 1)))
                                      
@@ -1031,7 +1079,7 @@
                                        (module client racket
                                          (require unstable/options 'server)
                                          (define e-boo (waive-option boo))
-                                         (provide (transfer-option e-boo)))
+                                         (provide (contract-out [e-boo transfer/c])))
                                        (require 'client)))
                                      
                                      (test-pass
@@ -1045,10 +1093,10 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        ((waive-option boo) 1)))          
                                      
@@ -1092,7 +1140,7 @@
                                        (module client racket
                                          (require unstable/options 'server)
                                          (define e-boo (waive-option boo))
-                                         (provide (transfer-option e-boo)))
+                                         (provide (contract-out [e-boo transfer/c])))
                                        (require 'client))))
                          
                          (test-suite "tweak-option"
@@ -1106,10 +1154,10 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        ((tweak-option boo) 1)))
                                      
@@ -1122,13 +1170,13 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        ((tweak-option boo) 'wrong))
-                                      (list "top-level" "middle1" "middle0"))
+                                      (list "top-level" "top-level" "top-level"))
                                      
                                      (test-contract-fail
                                       "fails (positive) after two transfers and tweak"
@@ -1139,16 +1187,16 @@
                                          (define (boo x) 'wrong))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        ((tweak-option boo) 42))
                                       (list "middle1" "middle0" "server"))
                                      
                                      (test-contract-fail 
-                                      "passes after two transfers and tweak"
+                                      "fails (negative) two transfers and tweak"
                                       (script
                                        (module server racket
                                          (require unstable/options)
@@ -1156,14 +1204,14 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        ((tweak-option boo) 42)
                                        ((tweak-option boo) 'wrong))
-                                      (list "top-level" "middle1" "middle0"))
+                                      (list "top-level" "top-level" "top-level"))
                                      
                                      (test-pass
                                       "passes after two transfers and tweak (with-contract)"
@@ -1176,16 +1224,14 @@
                                          (define (boo x) x))
                                        (module middle0 racket
                                          (require unstable/options 'server)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (module middle1 racket
                                          (require unstable/options 'middle0)
-                                         (provide (transfer-option boo)))
+                                         (provide (contract-out [boo transfer/c])))
                                        (require unstable/options 'middle1)
                                        ((tweak-option boo) 1)))
                                      
-                                     
-                                     
-                                     
+                  
                                      (test-pass
                                       "passes after tweak"
                                       (script
diff --git a/collects/unstable/options.rkt b/collects/unstable/options.rkt
index 3f84dde801..c7b127d1ba 100644
--- a/collects/unstable/options.rkt
+++ b/collects/unstable/options.rkt
@@ -1,7 +1,7 @@
 #lang racket
 
 
-(provide option/c transfer-option exercise-option waive-option tweak-option
+(provide option/c #;transfer-option exercise-option waive-option tweak-option transfer/c
          has-option? has-option-with-contract?
          invariant/c)
 
@@ -238,69 +238,27 @@
           (vector this-one (list #'optionc) null))))]))
 
 
-
-(define (transferc-name c)
-  (apply build-compound-type-name 'transfer-option (transfer-id c) empty))
-
-(struct transfer (id)
+(struct transferc ()
   #:property prop:contract
   (build-contract-property
-   #:name 
-   transferc-name
    #:projection
    (λ (ctc)
      (λ (blame)
        (λ (val)
-         (let ([option-blame
-                (blame-add-context 
-                 blame
-                 (format "~a does not have an option in" val)
-                 #:important (format "~a" (transfer-id ctc)))]
+         (let ([s val]
                [pos-blame (blame-positive blame)]
                [neg-blame (blame-negative blame)])
            (cond [(proxy? val)
-                  (let ((info (proxy-info val)))
+                  (let ([info (proxy-info s)])
                     (build-proxy
                      (info-with info)
-                     (value-contract val)
+                     (value-contract s)
                      (info-val info)
                      (info-proj info)
                      (blame-update (info-blame info) pos-blame neg-blame)))]
                  [else val])))))))
 
-(define-syntax (transfer/c stx)
-  (syntax-case stx ()
-    [x
-     (identifier? #'x)
-     (syntax-property
-      (syntax/loc stx transfer/c)
-      'racket/contract:contract
-      (vector (gensym 'ctc) (list stx) null))]
-    [(transferc id) 
-     (let ([this-one (gensym 'transfer-ctc)])
-       (syntax-property
-        (syntax/loc stx
-          (transfer 'id))
-        'racket/contract:contract
-        (vector this-one null (list #'transferc))))]))
-
-(define-syntax transfer-option
-  (make-provide-pre-transformer
-   (lambda (stx modes)
-     (unless (or (null? modes)
-                 (and (= 1 (length modes))
-                      (zero? (car modes))))
-       (raise-syntax-error #f
-                           "allowed only in relative phase-level 0"
-                           stx))
-     (syntax-case stx ()
-       [(_ id ... )
-        (syntax-local-lift-module-end-declaration
-         (with-syntax ([(new-id ...) (generate-temporaries #'(id ...))])
-           #`(begin
-               (begin (define new-id id) ...)
-               (provide (contract-out [rename new-id id (transfer/c id)] ...)))))])
-     #`(combine-out))))
+(define/final-prop transfer/c (transferc))
 
 (define (has-option? val)
   (and (has-contract? val) 
diff --git a/collects/unstable/scribblings/options.scrbl b/collects/unstable/scribblings/options.scrbl
index a805b96f56..e6128b9250 100644
--- a/collects/unstable/scribblings/options.scrbl
+++ b/collects/unstable/scribblings/options.scrbl
@@ -100,18 +100,13 @@ loses the guard related to @racket[option/c], if it has one to begin with, and t
 ]  
 } 
                                       
-@defform[(transfer-option id ...)]{
-                                   
-A @racket[_provide-spec] for use in @racket[provide] (currently only for
-the same @tech[#:doc '(lib "scribblings/reference/reference.scrbl")]{phase level}
-as the @racket[provide] form; for example,
-@racket[transfer-option] cannot be nested within @racket[for-syntax]). Each @racket[id]
-is provided from the module if @racket[id] is bound to a value guarded with an 
-@racket[option/c] contract. In addition, @racket[transfer-option] modifies the blame 
+@defthing[transfer/c contract?]{
+
+A contract that accepts any value. If the value is guarded with an 
+@racket[option/c] contract, @racket[transfer/c] modifies the blame 
 information for the @racket[option/c] contract by adding the providing module and its client 
-to the positive and negative blame parties respectively. If @racket[id] is not bound to a value guarded with an 
-@racket[option/c] contract, then @racket[(provide [transfer id ...])] is equivalent to @racket[(provide id ...)] i.e. 
-each @racket[id] is provided from the module as usual.
+to the positive and negative blame parties respectively. If the value is not a value guarded with an 
+@racket[option/c] contract, then @racket[transfer/c] is equivalent to @racket[any/c].
 }                   
 
  @defexamples[
@@ -122,14 +117,14 @@ each @racket[id] is provided from the module as usual.
   (define foo (λ (x) x)))
 (module middleman racket
   (require unstable/options 'server4)
-  (provide (transfer-option foo)))
+  (provide (contract-out [foo transfer/c])))
 (require 'middleman unstable/options)
 (define e-foo (exercise-option foo))
 (e-foo 1)
-(e-foo 'wrong)
+;(e-foo 'wrong)
 (module server5 racket
   (require unstable/options)
-  (provide [transfer-option boo])
+  (provide (contract-out [boo transfer/c]))
   (define (boo x) x))
 (require 'server5)
 (boo 42)]