diff --git a/pkgs/racket-test/tests/racket/contract/context.rkt b/pkgs/racket-test/tests/racket/contract/context.rkt
index 98b1adc031..df1ba7712c 100644
--- a/pkgs/racket-test/tests/racket/contract/context.rkt
+++ b/pkgs/racket-test/tests/racket/contract/context.rkt
@@ -491,6 +491,11 @@
                                  'pos 'neg)
                        save-file))
   
+  (context-test '("an and/c case of")
+                '(contract (and/c integer? positive?)
+                           5.9
+                           'pos 'neg))
+  
   (let* ([blame-pos (contract-eval '(make-blame (srcloc #f #f #f #f #f)
                                                 #f
                                                 (λ () 'integer?)
diff --git a/pkgs/racket-test/tests/racket/contract/or-and.rkt b/pkgs/racket-test/tests/racket/contract/or-and.rkt
index 3be835edcb..32cecad7ad 100644
--- a/pkgs/racket-test/tests/racket/contract/or-and.rkt
+++ b/pkgs/racket-test/tests/racket/contract/or-and.rkt
@@ -203,7 +203,7 @@
   
   (test/spec-passed/result
    'and/c-isnt
-   '(and (regexp-match #rx"isn't: even?"
+   '(and (regexp-match #rx"promised: even?"
                        (with-handlers ((exn:fail? exn-message))
                          (contract (and/c integer? even? positive?)
                                    -3
diff --git a/racket/collects/racket/contract/private/misc.rkt b/racket/collects/racket/contract/private/misc.rkt
index 907f1141a5..e6bbf9591a 100644
--- a/racket/collects/racket/contract/private/misc.rkt
+++ b/racket/collects/racket/contract/private/misc.rkt
@@ -138,15 +138,13 @@
         (cond
           [(null? predicates) val]
           [else
-           (if ((car predicates) val)
-               (loop (cdr predicates) (cdr ctcs))
-               (raise-blame-error 
-                blame
-                val
-                '(expected: "~s" given: "~e\n  which isn't: ~s")
-                (contract-name ctc)
-                val
-                (contract-name (car ctcs))))])))))
+           (cond
+             [((car predicates) val)
+              (loop (cdr predicates) (cdr ctcs))]
+             [else
+              (define ctc1-proj (contract-projection (car ctcs)))
+              (define new-blame (blame-add-context blame "an and/c case of"))
+              ((ctc1-proj new-blame) val)])])))))
 
 (define (first-order-val-first-and-proj ctc)
   (define predicates (first-order-and/c-predicates ctc))
@@ -158,16 +156,13 @@
         (cond
           [(null? predicates) (λ (neg-party) val)]
           [else
-           (if ((car predicates) val)
-               (loop (cdr predicates) (cdr ctcs))
-               (λ (neg-party)
-                 (raise-blame-error
-                  blame  #:missing-party neg-party
-                  val
-                  '(expected: "~s" given: "~e\n  which isn't: ~s")
-                  (contract-name ctc)
-                  val
-                  (contract-name (car ctcs)))))])))))
+           (cond
+             [((car predicates) val)
+              (loop (cdr predicates) (cdr ctcs))]
+             [else
+              (define ctc1-val-first-proj (get/build-val-first-projection (car ctcs)))
+              (define new-blame (blame-add-context blame "an and/c case of"))
+              ((ctc1-val-first-proj new-blame) val)])])))))
 
 (define (and-stronger? this that)
   (and (base-and/c? that)