<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <br>
    <br>
    <div class="moz-cite-prefix">Arthur Reutenauer wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:20181212162907.GB649975@phare.normalesup.org">
      <pre wrap="">On Wed, Dec 12, 2018 at 04:19:30PM +0000, Philip Taylor wrote:
</pre>
      <blockquote type="cite">
        <pre wrap="">   Thank you for your detailed critique.  I do not think that any reader of
   this list would welcome a detailed debate on every point made, so I am
   very happy to invite you to draft a second revision and circulate it for
   comment.
</pre>
      </blockquote>
      <pre wrap="">
  For the record, I will not.  </pre>
    </blockquote>
    <br>
    Your response is noted.<br>
    <br>
    <blockquote type="cite"
      cite="mid:20181212162907.GB649975@phare.normalesup.org">
      <pre wrap="">You’re the one who took on this job, now do it.
</pre>
    </blockquote>
    <br>
    I believe that if you read the correspondence to date you will see
    that I have been "doing it" ever since being asked to.<br>
    <div class="moz-signature">-- <br>
      <img src="cid:part1.12752B21.F6E20BF1@Rhul.Ac.Uk"
        alt="<Signature>"><br>
      Philip Taylor</div>
  </body>
</html>