Paul-<br><br>0.6a is intended to stand on its own as a specification, which is why it was published first.  It should not depend on anyhing in 0.6b to be understood.  However, the details of 0.6a provide opportunities for the rest of the specification appearing in 0.6b.<br>

<br>I can easily imagine disallowing &quot;Nothing&quot; in the explicit throws clause of a method to reduce this confusion.<br><br>Cheers,<br>Neal<br><br>