On Fri, Sep 16, 2011 at 1:55 AM, Andreas Rossberg <rossberg at google.com> wrote: > Being able to detect when a condition is violated is not equivalent to > knowing that it always holds. You're right, of course. Thanks for slicing that more finely for me. Mike