de></strong></span>
        be identities that relate a numeric typed value <code class="computeroutput"><span class="identifier">v</span></code>
        with a number <code class="computeroutput"><span class="identifier">V</span></code>.
      </p>
<p>
        An ordered pair of numeric values <code class="computeroutput"><span class="identifier">x</span></code>,<code class="computeroutput"><span class="identifier">y</span></code> s.t. <code class="computeroutput"><span class="identifier">x</span><span cla