"n">use</span><span class="w"> </span><span class="n">of</span><span class="w"> </span><span class="n">discr2</span><span class="p">(</span><span class="mi">3</span><span class="n">f</span><span class="p">)</span><span class="w"> </span><span class="p">(</span><span class="ow">and</span><span class="w"> </span><span class="n">the</span><span class="w"> </span><span class="n">discre</span><span class="w"> </span><span class="ow">and</span><span class="w"> </span><span class="n">discr3</span><span class="w"> 