; border-color: initial;">:forward</em></dt>
<dd style="border-style: initial; border-color: initial;">Assertions declared forward are used exhaustively in forward inference. All :code assertions are also used implicitly at this level since the HL modules supplanting them are used here.</dd>
<dt style="border-style: initial; border-color: initial;"><em style="border-style: initial; border-color: initial;">:backward</em></dt>
<dd style="border-style: initial; border-color: initial;">Assertions declared backw