On Dec 16 2016, Janus Weil wrote: > >thanks for this lengthy comment, but that's really not the kind of >discussion I wanna get into here. (And I don't actually agree to all >of your points, but that doesn't matter.) Sorry - I misunderstood. Regards, Nick Maclaren.