>
<meta content="Make Assertions on New Constants in Your Own Microtheory" about="/documentation/make-assertions-new-constants-your-own-microtheory" property="dc:title" />
<link rel="prev" href="/documentation/testing-your-own-microtheory" />
<meta name="Generator" content="Drupal 7 (http://drupal.org)" />
<link rel="canonical" href="/documentation/make-assertions-new-constants-your-own-microtheory" />
<link rel="shortlink" href="/node/493" />
<link rel="up" href="/documentation/introductory-walk-through-on