diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/contract/stronger.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/contract/stronger.rkt
index 149688ca0e..434112ed18 100644
--- a/pkgs/racket-pkgs/racket-test/tests/racket/contract/stronger.rkt
+++ b/pkgs/racket-pkgs/racket-test/tests/racket/contract/stronger.rkt
@@ -161,6 +161,28 @@
          (listof (<=/c 4)))
   (ctest #f contract-stronger? (listof number?) (cons/c number? (cons/c number? (listof any/c))))
     
+  (ctest #f contract-stronger? (vectorof (<=/c 3)) (vectorof (<=/c 4)))
+  (ctest #f contract-stronger? (vectorof (<=/c 3)) (vectorof (<=/c 4)))
+  (ctest #t contract-stronger? (vectorof (<=/c 3) #:immutable #t) (vectorof (<=/c 4) #:immutable #t))
+  (ctest #t contract-stronger? (vectorof (<=/c 3) #:immutable #t) (vectorof (<=/c 3)))
+  (ctest #f contract-stronger? (vectorof (<=/c 3)) (vectorof (<=/c 3) #:immutable #t))
+  (ctest #f contract-stronger? (vectorof (<=/c 3)) (vectorof (<=/c 3) #:immutable #f))
+  (ctest #t contract-stronger? (vectorof (<=/c 3) #:immutable #f) (vectorof (<=/c 3)))
+  (ctest #t contract-stronger? (vectorof (<=/c 3)) (vectorof (<=/c 3)))
+  
+  (ctest #t contract-stronger? (vector/c (<=/c 3) (<=/c 3) (<=/c 3)) (vectorof (<=/c 3)))
+  (ctest #f contract-stronger? (vector/c (<=/c 3) (<=/c 3) (<=/c 3)) (vectorof (<=/c 4)))
+  (ctest #f contract-stronger? (vector/c (<=/c 3) (<=/c 3) (<=/c 3)) (vectorof (<=/c 2)))
+  (ctest #t contract-stronger? (vector/c (<=/c 3) (<=/c 3)) (vector/c (<=/c 3) (<=/c 3)))
+  (ctest #f contract-stronger? (vector/c (<=/c 3) (<=/c 3)) (vector/c (<=/c 3) (<=/c 2)))
+  (ctest #f contract-stronger? (vector/c (<=/c 3) (<=/c 2)) (vector/c (<=/c 3) (<=/c 3)))
+  (ctest #t contract-stronger? (vector/c (<=/c 3) #:immutable #t) (vector/c (<=/c 3)))
+  (ctest #t contract-stronger? (vector/c (<=/c 3) #:immutable #f) (vector/c (<=/c 3)))
+  (ctest #f contract-stronger? (vector/c (<=/c 3)) (vector/c (<=/c 3) #:immutable #t))
+  (ctest #f contract-stronger? (vector/c (<=/c 3)) (vector/c (<=/c 3) #:immutable #f))
+  (ctest #t contract-stronger? (vector/c (<=/c 2) #:immutable #t) (vector/c (<=/c 3) #:immutable #t))
+  (ctest #f contract-stronger? (vector/c (<=/c 3) #:immutable #t) (vector/c (<=/c 2) #:immutable #t))
+  
   (contract-eval
    `(let ()
       (define x (flat-rec-contract x (or/c (cons/c x '()) '())))
diff --git a/racket/collects/racket/contract/private/vector.rkt b/racket/collects/racket/contract/private/vector.rkt
index 3920d922b4..8074870d61 100644
--- a/racket/collects/racket/contract/private/vector.rkt
+++ b/racket/collects/racket/contract/private/vector.rkt
@@ -102,6 +102,24 @@
       (let/ec return
         (check val (λ _ (return #f)) #t)))))
 
+(define (vectorof-stronger this that)
+  (define this-elem (base-vectorof-elem this))
+  (define this-immutable (base-vectorof-immutable this))
+  (cond
+    [(base-vectorof? that)
+     (define that-elem (base-vectorof-elem that))
+     (define that-immutable (base-vectorof-immutable that))
+     (cond
+       [(and (equal? this-immutable #t)
+             (equal? that-immutable #t))
+        (contract-stronger? this-elem that-elem)]
+       [else
+        (and (or (equal? that-immutable 'dont-care)
+                 (equal? this-immutable that-immutable))
+             (contract-stronger? this-elem that-elem)
+             (contract-stronger? that-elem this-elem))])]
+    [else #f]))
+
 (define-struct (flat-vectorof base-vectorof) ()
   #:property prop:custom-write custom-write-property-proc
   #:property prop:flat-contract
@@ -120,6 +138,7 @@
                                       (for ([x (in-vector val)])
                                         ((vfp+blame x) neg-party))
                                       val)))))
+   #:stronger vectorof-stronger
    #:projection 
    (λ (ctc) 
      (define check (check-vectorof ctc))
@@ -222,6 +241,7 @@
   (build-chaperone-contract-property
    #:name vectorof-name
    #:first-order vectorof-first-order
+   #:stronger vectorof-stronger
    #:val-first-projection (vectorof-val-first-ho-projection chaperone-vector)
    #:projection (vectorof-ho-projection chaperone-vector)))
 
@@ -231,6 +251,7 @@
   (build-contract-property
    #:name vectorof-name
    #:first-order vectorof-first-order
+   #:stronger vectorof-stronger
    #:val-first-projection (vectorof-val-first-ho-projection chaperone-vector)
    #:projection (vectorof-ho-projection impersonate-vector)))
 
@@ -270,8 +291,7 @@
 (define/subexpression-pos-prop (vector-immutableof c)
   (vectorof c #:immutable #t))
 
-(define-struct base-vector/c (elems immutable)
-  #:property prop:custom-write custom-write-property-proc)
+(define-struct base-vector/c (elems immutable))
 
 (define (vector/c-name c)
   (let ([immutable (base-vector/c-immutable c)])
@@ -324,11 +344,52 @@
                    [c (in-list elem-ctcs)])
            (contract-first-order-passes? c e)))))
 
+(define (vector/c-stronger this that)
+  ;(define-struct base-vector/c (elems immutable))
+  (define this-elems (base-vector/c-elems this))
+  (define this-immutable (base-vector/c-immutable this))
+  (cond
+    [(base-vector/c? that)
+     (define that-elems (base-vector/c-elems that))
+     (define that-immutable (base-vector/c-immutable that))
+     (cond
+       [(and (equal? this-immutable #t)
+             (equal? that-immutable #t))
+        (and (= (length this-elems) (length that-elems))
+             (for/and ([this-elem (in-list this-elems)]
+                       [that-elem (in-list that-elems)])
+               (contract-stronger? this-elem that-elem)))]
+       [(or (equal? that-immutable 'dont-care)
+            (equal? this-immutable that-immutable))
+        (and (= (length this-elems) (length that-elems))
+             (for/and ([this-elem (in-list this-elems)]
+                       [that-elem (in-list that-elems)])
+               (and (contract-stronger? this-elem that-elem)
+                    (contract-stronger? that-elem this-elem))))]
+       [else #f])]
+    [(base-vectorof? that)
+     (define that-elem (base-vectorof-elem that))
+     (define that-immutable (base-vectorof-immutable that))
+     (cond
+       [(and (equal? this-immutable #t)
+             (equal? that-immutable #t))
+        (for/and ([this-elem (in-list this-elems)])
+          (contract-stronger? this-elem that-elem))]
+       [(or (equal? that-immutable 'dont-care)
+            (equal? this-immutable that-immutable))
+        (for/and ([this-elem (in-list this-elems)])
+          (and (contract-stronger? this-elem that-elem)
+               (contract-stronger? that-elem this-elem)))]
+       [else #f])]
+    [else #f]))
+
 (define-struct (flat-vector/c base-vector/c) ()
+  #:property prop:custom-write custom-write-property-proc
   #:property prop:flat-contract
   (build-flat-contract-property
    #:name vector/c-name
    #:first-order vector/c-first-order
+   #:stronger vector/c-stronger
    #:projection 
    (λ (ctc) 
      (λ (blame) 
@@ -380,17 +441,21 @@
                   impersonator-prop:blame blame))))))))
 
 (define-struct (chaperone-vector/c base-vector/c) ()
+  #:property prop:custom-write custom-write-property-proc
   #:property prop:chaperone-contract
   (build-chaperone-contract-property
    #:name vector/c-name
    #:first-order vector/c-first-order
+   #:stronger vector/c-stronger
    #:projection (vector/c-ho-projection chaperone-vector)))
 
 (define-struct (impersonator-vector/c base-vector/c) ()
+  #:property prop:custom-write custom-write-property-proc
   #:property prop:contract
   (build-contract-property
    #:name vector/c-name
    #:first-order vector/c-first-order
+   #:stronger vector/c-stronger
    #:projection (vector/c-ho-projection impersonate-vector)))
 
 (define-syntax (wrap-vector/c stx)