On Thu, 2008-07-31 at 09:48 +0100, David Woodhouse wrote: > And we don't have to worry too much about proving a lower bound on the > size we'll want to use for the summary Or indeed whether it's an upper bound or a lower bound we'd need to calculate. More tea required... -- dwmw2