On 16 October 2013 18:53, Gabriel Dos Reis <gdr@axiomatics.org> wrote:

Only on the cases, e.g. input values, where they aren't both defined.
That isn't failure.  You're looking at the value of the proposition when the
preconditions aren't satisfied, we all know what happens :-)



Indeed we do know, Lakos will throw an exception.

I'll get my coat now. :)