ef-glossary.html#id256">unit&nbsp;instance</a> <code>180</code>:
<pre class="pretop">
  &gt; (mapcar #'instance-name-of 
            (supporting-hyps-of (<a href="ref-find-instance-by-name.html">find-instance-by-name</a> 'hyp 180)))
  (123 158 94)
  &gt;
</pre>
<a name="id2">Change</a> the <a href="ref-glossary.html#id100">instance&nbsp;name</a> of <code>hyp</code> <code>180</code> to 
<nobr><code>"bogus-180"</code></nobr>:
<pre>
  &gt; (setf (instance-name-of (<a href="ref-find-instance-by-name.html">find-