On Sat, Nov 16, 2002 at 10:47:43PM +0100, Matthias Urlichs wrote: > Please replace "not smaller" with "larger or equal to", and vice versa, > throughout the text. Those negatives make thinking about whatever it is > that the text actually means ;-) more difficult. Actually, based on a suggestion by Jochen Voss, I'm planning on changing the "not smaller" language with a phrase using "maximum". Thanks, -- Raul