On Thu, Mar 17, 2016 at 11:15:46PM +0000, Philip Taylor wrote: > Arthur Reutenauer wrote: >> Are you sure that is your point? > > Yes. That's not a very good point, then. Arthur