K 10 svn:author V 3 bde K 8 svn:date V 27 1998-11-29T12:00:06.000000Z K 7 svn:log V 177 Fixed English in previous commit. Clarify "lexicographical order". Don't format paragraphs manually (new sentences not beginning on new lines give hard-formatted line breaks). END