/span>
      </a>          
  </div>
  <div class="nav-page nav-page-next">
      <a href="./IntroLean.html" class="pagination-link">
        <span class="nav-page-text">Introduction to Lean</span> <i class="bi bi-arrow-right-short"></i>
      </a>
  </div>
</nav>
</div> <!-- /content -->
<footer class="footer">
  <div class="nav-footer">
      <div class="nav-footer-center">© 2023-2025 Daniel J. Velleman.<br>Short excerpts from Daniel J. Velleman, <a href="https://doi.org/10.1017/9781108539890"><i>How To 