all;">#$age</span></tt> , <tt><span style="font-size: xx-small;">#$WeeksDuration</span></tt> . To use these constants in our new microtheory, we'll need <tt><span style="font-size: xx-small;">#$genlMt</span></tt> links from our new microtheory to microtheories containing "definitional assertions" about these constants.</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;"><img alt="Click here for further explanation of why you just did the above." border="0" src="/cycdo