On 12/30/11 1:55 PM, Timon Gehr wrote: > Me too. I think the way we have it now is optimal. What we have now is adequate. The scheme I proposed is optimal. I agree with all of your other remarks. Andrei