style="font-family: arial; font-style: italic;">mod</span>(<span
 style="font-weight: bold; font-style: italic;">f</span>)<br>
= <span style="font-family: arial; font-style: italic;">model</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>)<br>
      </td>
      <td style="vertical-align: top;">instance (formal object)
function:<br>
model fiber function of <span
 style="font-style: italic; font-weight: bold;">f</span><br>
      </td>
    </tr>
    <tr>
      <td style="vertical-align: top