<p dir="ltr">On Aug 17, 2015 12:35 PM, "Norbert E. Fuchs" <<a href="mailto:fuchs@ifi.uzh.ch">fuchs@ifi.uzh.ch</a>> wrote:</p>
<p dir="ltr">>  I was about to remove a bug that prevented your example from executing. In the meantime I removed the bug and now get the expected result </p>
<p dir="ltr">Non-monotonicity - should better code fail more regression tests? :-) <br></p>
<p dir="ltr">> while the combination "... not ... not provable P ..." is not accepted as being semantically identically to "P".</p>
<p dir="ltr"> Because "provable P" ⊭ "P",  right? <br></p>