<div>
  <p>
  <kbd>closeFalse</kbd> completes proof branch <code>false |- ...</code> for trivial reasons when the formula <code>false</code> is among its assumptions in its left-hand side antecedent.
</p>
</div>