<div>
  <p>
  The <kbd>allRi</kbd> proof rule introduces a universal quantifier for a term.
</p>
<p>
Learning resources
<ul>
    <li><a target="_blank" href="https://doi.org/10.1007/978-3-319-63588-0_6">06: Truth &amp; Proof</a>, 6.2.6</li>
</ul>
</p>
</div>