 <b>no</b> assertion failures or exceptions, then the
	   Theory passes.
   </ul>

<h4>Example:</h4>

<p>In the following example, the theory SquareRootDefinition
   verifies that the implementation of square root satisies
   the following definition:

<p style="margin: 2em"><i>
"Given a non-negative number, the square root of that number
 is always non-negative and, when multiplied by itself, gives
 the original number."</i>

<div class="code" style="width: 36em">
<pre class="prettyprint">
public class Sqr