diff --git a/Control/Exception/Assert/Sugar.hs b/Control/Exception/Assert/Sugar.hs
--- a/Control/Exception/Assert/Sugar.hs
+++ b/Control/Exception/Assert/Sugar.hs
@@ -68,12 +68,16 @@
 -- > assert (allB (<= height) [yf, y1, y2])
 allB :: Show a => (a -> Bool) -> [a] -> Bool
 {-# NOINLINE allB #-}
-allB predicate l = blame (all predicate l) $ allBMessage predicate l
+allB predicate l = case all predicate l of
+  True -> True
+  False -> trace (allBMessage predicate l) False
 
 allBMessage :: Show a => (a -> Bool) -> [a] -> String
-allBMessage predicate l = Show.Pretty.ppShow (filter (not . predicate) l)
-                          ++ " in the context of "
-                          ++ Show.Pretty.ppShow l
+allBMessage predicate l =
+  "The following items on the list don't respect the contract:\n"
+  ++ Show.Pretty.ppShow (filter (not . predicate) l)
+  ++ "\nout of all the list items below:\n"
+  ++ Show.Pretty.ppShow l
 
 -- * DEPRECATED
 
diff --git a/assert-failure.cabal b/assert-failure.cabal
--- a/assert-failure.cabal
+++ b/assert-failure.cabal
@@ -6,7 +6,7 @@
 -- PVP summary:+-+------- breaking API changes
 --             | | +----- non-breaking API additions
 --             | | | +--- code changes with no API change
-version:       0.1.2.4
+version:       0.1.2.5
 synopsis:      Syntactic sugar improving 'assert' and 'error'
 description:   This library contains syntactic sugar that makes it easier
                to write simple contracts with 'assert' and 'error'