diff -r 7823d1b1f141 -r 12e9aa68d5db CHUNHAN
--- a/CHUNHAN	Thu Dec 22 14:25:34 2011 +0000
+++ b/CHUNHAN	Mon Dec 26 08:21:00 2011 +0000
@@ -11,8 +11,8 @@
 both publications, Chunhan did much of the work and
 has been the first author of the papers.
 
-I like to invite Chunhan to work with me in London for one 
-year. His living expenses for the stay will be covered by
+I like to invite Chunhan to work with me in London for 11 months. 
+His living expenses for the stay will be covered by
 my grant at King's College London. He would work with me
 on improving the reasoning in the Isabelle theorem prover.
 I can teach him the internals of this theorem prover so 
@@ -24,19 +24,19 @@
 well researchers in Cambridge and in Munich, where the
 theorem prover Isabelle is mainly developed and which
 are centres of excellence in the field of automated
-reasoning. During this one year, Chunhan and I would
+reasoning. During these 11 months, Chunhan and I would
 work on projects which we hope can be published at
 top-tier conferences.
 
-I kindly request that you grant a one year leave to
+I kindly request that you grant 11 months leave to
 Chunhan. I am sure this scientific visit will be
 invaluable for his career. He is a bright researcher
 who will benefit greatly from collaboration with
-established researchers in automated reasoning. 
+established researchers in the field of automated reasoning. 
 In due course when all bureaucratic hurdles are taken
 the Head of the Informatics Department of King's College 
 will also write to you supporting the request to
-invite Chunhan to work in London for one year.
+invite Chunhan to work with me in London.
 
 
 Yours sincerely,