diff --git a/doc/html/mp11.html b/doc/html/mp11.html
index eff6909..f35da32 100644
--- a/doc/html/mp11.html
+++ b/doc/html/mp11.html
@@ -2176,15 +2176,14 @@
 </pre>
 <p>
           <code class="computeroutput"><span class="identifier">mp_and</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">...&gt;</span></code>
-          is an alias for <code class="computeroutput"><span class="identifier">mp_false</span></code>
-          if there exists a type <code class="computeroutput"><span class="identifier">U</span></code>
-          in <code class="computeroutput"><span class="identifier">T</span><span class="special">...</span></code>
-          for which <code class="computeroutput"><span class="identifier">mp_to_bool</span><span class="special">&lt;</span><span class="identifier">U</span><span class="special">&gt;</span></code>
-          is not <code class="computeroutput"><span class="identifier">mp_true</span></code>. <code class="computeroutput"><span class="identifier">mp_to_bool</span><span class="special">&lt;</span><span class="identifier">U</span><span class="special">&gt;</span></code>
-          is not evaluated for types after <code class="computeroutput"><span class="identifier">U</span></code>.
-          If no such type exists, <code class="computeroutput"><span class="identifier">mp_and</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">...&gt;</span></code> is an alias for <code class="computeroutput"><span class="identifier">mp_true</span></code>.
-          (<code class="computeroutput"><span class="identifier">mp_and</span><span class="special">&lt;&gt;</span></code>
-          is <code class="computeroutput"><span class="identifier">mp_true</span></code>.)
+          applies <code class="computeroutput"><span class="identifier">mp_to_bool</span></code> to the
+          types in <code class="computeroutput"><span class="identifier">T</span><span class="special">...</span></code>,
+          in order. If the result of an application is <code class="computeroutput"><span class="identifier">mp_false</span></code>,
+          <code class="computeroutput"><span class="identifier">mp_and</span></code> returns <code class="computeroutput"><span class="identifier">mp_false</span></code>. If the application causes a
+          substitution failure, returns <code class="computeroutput"><span class="identifier">mp_false</span></code>.
+          If all results are <code class="computeroutput"><span class="identifier">mp_true</span></code>,
+          returns <code class="computeroutput"><span class="identifier">mp_true</span></code>. <code class="computeroutput"><span class="identifier">mp_and</span><span class="special">&lt;&gt;</span></code>
+          is <code class="computeroutput"><span class="identifier">mp_true</span></code>.
         </p>
 <pre class="programlisting"><span class="keyword">using</span> <span class="identifier">R1</span> <span class="special">=</span> <span class="identifier">mp_and</span><span class="special">&lt;</span><span class="identifier">mp_true</span><span class="special">,</span> <span class="identifier">mp_true</span><span class="special">&gt;;</span>   <span class="comment">// mp_true</span>
 <span class="keyword">using</span> <span class="identifier">R2</span> <span class="special">=</span> <span class="identifier">mp_and</span><span class="special">&lt;</span><span class="identifier">mp_false</span><span class="special">,</span> <span class="keyword">void</span><span class="special">&gt;;</span>     <span class="comment">// mp_false, void is not reached</span>
@@ -2209,7 +2208,7 @@
           is an error because <code class="computeroutput"><span class="keyword">void</span></code> does
           not have a nested <code class="computeroutput"><span class="identifier">value</span></code>.
           The upside is that <code class="computeroutput"><span class="identifier">mp_all</span></code>
-          is faster on legacy compilers.
+          is potentially faster and does not mask substitution failures as <code class="computeroutput"><span class="identifier">mp_and</span></code> does.
         </p>
 <pre class="programlisting"><span class="keyword">using</span> <span class="identifier">R1</span> <span class="special">=</span> <span class="identifier">mp_and</span><span class="special">&lt;</span><span class="identifier">mp_true</span><span class="special">,</span> <span class="identifier">mp_true</span><span class="special">&gt;;</span>   <span class="comment">// mp_true</span>
 <span class="keyword">using</span> <span class="identifier">R2</span> <span class="special">=</span> <span class="identifier">mp_and</span><span class="special">&lt;</span><span class="identifier">mp_false</span><span class="special">,</span> <span class="keyword">void</span><span class="special">&gt;;</span>     <span class="comment">// compile-time error</span>
@@ -2493,7 +2492,7 @@
 </div>
 </div>
 <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
-<td align="left"><p><small>Last revised: May 23, 2017 at 22:51:13 GMT</small></p></td>
+<td align="left"><p><small>Last revised: May 24, 2017 at 02:43:53 GMT</small></p></td>
 <td align="right"><div class="copyright-footer"></div></td>
 </tr></table>
 <hr>
diff --git a/doc/mp11/function.qbk b/doc/mp11/function.qbk
index 52bab9a..ab1cb96 100644
--- a/doc/mp11/function.qbk
+++ b/doc/mp11/function.qbk
@@ -17,9 +17,9 @@ Same as `std::void_t` from C++17.
 [section `mp_and<T...>`]
     template<class... T> using mp_and = /*...*/;
 
-`mp_and<T...>` is an alias for `mp_false` if there exists a type `U` in `T...` for which `mp_to_bool<U>` is not `mp_true`.
-`mp_to_bool<U>` is not evaluated for types after `U`. If no such type exists, `mp_and<T...>` is an alias for `mp_true`.
-(`mp_and<>` is `mp_true`.)
+`mp_and<T...>` applies `mp_to_bool` to the types in `T...`, in order. If the result of an application is `mp_false`, `mp_and`
+returns `mp_false`. If the application causes a substitution failure, returns `mp_false`. If all results are `mp_true`,
+returns `mp_true`. `mp_and<>` is `mp_true`.
 
     using R1 = mp_and<mp_true, mp_true>;   // mp_true
     using R2 = mp_and<mp_false, void>;     // mp_false, void is not reached
@@ -32,7 +32,8 @@ Same as `std::void_t` from C++17.
 
 `mp_all<T...>` is `mp_true` if `mp_to_bool<U>` is `mp_true` for all types `U` in `T...`, `mp_false` otherwise. Same as
 `mp_and`, but does not perform short-circuit evaluation. `mp_and<mp_false, void>` is `mp_false`, but `mp_all<mp_false, void>`
-is an error because `void` does not have a nested `value`. The upside is that `mp_all` is faster on legacy compilers.
+is an error because `void` does not have a nested `value`. The upside is that `mp_all` is potentially faster and does not
+mask substitution failures as `mp_and` does.
 
     using R1 = mp_and<mp_true, mp_true>;   // mp_true
     using R2 = mp_and<mp_false, void>;     // compile-time error