   <h1 class="title" id="page-title">Make Assertions on New Constants in Your Own Microtheory</h1>
                        <div class="block block-system block-main block-system-main odd block-without-title" id="block-system-main">
  <div class="block-inner clearfix">
                
    <div class="content clearfix">
      <article about="/documentation/make-assertions-new-constants-your-own-microtheory" typeof="sioc:Item foaf:Document" class="node node-book node-published node-not-promoted node-not-stick