--- a/index.html	Wed Aug 06 13:52:13 2014 +0100
+++ b/index.html	Sun Aug 10 03:08:48 2014 +0100
@@ -214,7 +214,10 @@
 result about Subseq, which according to 
 this 
 <A HREF="http://blog.computationalcomplexity.org/2006/01/theorem-that-should-be-better-known.html">blog</A> 
-should be better known. This is joint work with Prof. Xingyuan
+should be better known. We also answered a
+<A HREF="http://blog.computationalcomplexity.org/2013/02/proving-dfa-langs-closed-under-concat.html">question</A> by Bill Gasarch from the same blog about
+"proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can!
+This is joint work with Prof. Xingyuan
 Zhang and his student Chunhan Wu from the 
 <A HREF="http://www.ust.com.cn/">PLA University of Science and Technology</A> in Nanjing. 
 My funding for this work came from the 
@@ -330,7 +333,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Wed Aug  6 13:51:28 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Aug 10 03:06:11 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>