<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On 16 October 2013 18:53, Gabriel Dos Reis <span dir="ltr">&lt;<a href="mailto:gdr@axiomatics.org" target="_blank">gdr@axiomatics.org</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
</div></div>Only on the cases, e.g. input values, where they aren&#39;t both defined.<br>
That isn&#39;t failure.  You&#39;re looking at the value of the proposition when the<br>
preconditions aren&#39;t satisfied, we all know what happens :-)<br>
<div class="HOEnZb"><div class="h5"><br><br></div></div></blockquote><div><br></div><div>Indeed we do know, Lakos will throw an exception.<br><br></div><div>I&#39;ll get my coat now. :) <br></div></div><br></div></div>