ard are only used in backward inference. All :forward assertions are also used at this level, and the HL modules supplanting :code assertions are again used at this level.</dd>
</dl></blockquote>
<h3 style="border-style: initial; border-color: initial;">2.8.5. <a style="border-style: initial; border-color: initial;" name="137601984" id="137601984"></a> Supports</h3>
<p style="border-style: initial; border-color: initial;">Attached to every assertion is a support, which consists of one or more justificatio