diff --git a/changelog b/changelog
index 8f80f2e..afe780a 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20140605 tpd src/axiom-website/patches.html 20140605.04.tpd.patch
+20140605 tpd src/axiom-website/documentation.html add Leslie Lamport quote
 20140605 tpd src/axiom-website/patches.html 20140605.03.tpd.patch
 20140605 tpd book/*.txt email cleanup
 20140605 tpd src/axiom-website/patches.html 20140605.02.tpd.patch
diff --git a/src/axiom-website/documentation.html b/src/axiom-website/documentation.html
index 27173da..2cf81a2 100644
--- a/src/axiom-website/documentation.html
+++ b/src/axiom-website/documentation.html
@@ -176,6 +176,17 @@ much sign of it. This is not good.
 <br/><br/>
 <blockquote>
 <b><p>
+Writing is nature's way of letting you know how sloppy your
+thinking is. To think you have to write. If you're thinking
+without writing, you only think you're thinking.
+</p></b>
+</blockquote>
+<a href="http://channel9.msdn.com/Events/Build/2014/3-642">
+--Leslie Lamport "Thinking for Programmers" 2014</a>
+
+<br/><br/>
+<blockquote>
+<b><p>
 The nature of functional programming is to build, Russian doll-style,
 functions that use functions that use functions etc. But without
 something like a literate style, your efforts are quickly lost in the
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 2036134..af93b76 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4384,6 +4384,8 @@ book/*.txt email cleanup
 books/bookvolbib add Special Topics / Polynomial GCD
 <a href="patches/20140605.03.tpd.patch">20140605.03.tpd.patch</a>
 book/*.txt email cleanup
+<a href="patches/20140605.04.tpd.patch">20140605.04.tpd.patch</a>
+src/axiom-website/documentation.html add Leslie Lamport quote
  </body>
 </html>