Upper-Bound/Lower-Bound Inferences and fixing
<p>In the C# 4.0 Spec 7.5.2.9:</p>

<blockquote>
  <p>A <em>lower-bound inference</em> from a type U to a type V is made as
  follows:</p>
</blockquote>

<ul>
<li>If V is one of the unfixed X<sub>i</sub>, then U is added to the set of lower bounds for X<sub>i</sub>. </li>
<li>[...]</li>
</ul>

<p>I've gone over this section many times.  Lacking a section reference, this definition reads like a circular reference.  So, I expect to find a grammer production or section reference nearby to clarify..which I do not.  This section also ties in <em>Fixing</em> which suffers from similar definition issues.  </p>

<p>What is an <code>upper-bound inference</code> vs a <code>lower-bound inference</code>?  </p>
