36
pages, and the logic namespace document is 14 pages.</p>
  </li>
  <li style="text-align: justify;">
    <p>A total of 681 terms are introduced to describe and axiomatize
the IFF-ONT. This introduction document contributes no terminology. The
metatheory document has 49 terms for naming the categories, functors,
natural transformations, adjunctions and monads needed to link the
IFF-ONT with the IFF upper metalevel axiomatization. This terminology
can be regarded as part of the IFF upper metalevel. That le