Dear Joel, Thank you very much for your kind review. > Nits/editorial comments: > In section 2.2, in talking about "metric M", if I have understood properly, > I think it would be clearer if you referred to "metric value M". This section has been expanded with human-readable text and a reference to a research paper, and should therefore now be easier to understand. I have, however, decided to follow the usual style of mathematical writing, and have therefore chosen not to follow your advice. I hope that is okay. Thanks again, -- Juliusz