diff --git a/_forest b/_forest
index 4861ff0..4902773 160000
--- a/_forest
+++ b/_forest
@@ -1 +1 @@
-Subproject commit 4861ff030fe7d9c87a19abf2007ad0c6af3660b7
+Subproject commit 4902773fc1eaabce6cbe3a8d624379b5a4f8a077
diff --git a/_site/2023/04/09/gsi-applications.html b/_site/2023/04/09/gsi-applications.html
index a8055e8..16d8540 100644
--- a/_site/2023/04/09/gsi-applications.html
+++ b/_site/2023/04/09/gsi-applications.html
@@ -83,8 +83,8 @@ <h2 id="engr-101-f23">ENGR 101 (F23)</h2>
 
 <iframe width="560" height="315" src="https://www.youtube.com/embed/Cd9Tq7s_BhQ" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen=""></iframe>
 
-<style> .pdf-embed-wrap-eb69aa06-60de-41ce-b128-7ef50a64f08d { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-eb69aa06-60de-41ce-b128-7ef50a64f08d { height: 100%; } .pdf-link-eb69aa06-60de-41ce-b128-7ef50a64f08d { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-eb69aa06-60de-41ce-b128-7ef50a64f08d iframe { width: 100%; height: 100%; } </style>
-<div class="pdf-embed-wrap-eb69aa06-60de-41ce-b128-7ef50a64f08d"> <div class="pdf-link-eb69aa06-60de-41ce-b128-7ef50a64f08d"> <a href="/files/101-gsi-application.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-eb69aa06-60de-41ce-b128-7ef50a64f08d"> <iframe src="/files/101-gsi-application.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
+<style> .pdf-embed-wrap-a5025c74-6d89-461b-a199-2689d0b46488 { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-a5025c74-6d89-461b-a199-2689d0b46488 { height: 100%; } .pdf-link-a5025c74-6d89-461b-a199-2689d0b46488 { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-a5025c74-6d89-461b-a199-2689d0b46488 iframe { width: 100%; height: 100%; } </style>
+<div class="pdf-embed-wrap-a5025c74-6d89-461b-a199-2689d0b46488"> <div class="pdf-link-a5025c74-6d89-461b-a199-2689d0b46488"> <a href="/files/101-gsi-application.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-a5025c74-6d89-461b-a199-2689d0b46488"> <iframe src="/files/101-gsi-application.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
 <h2 id="eecs-376-f23">EECS 376 (F23)</h2>
 <p><strong>outcome</strong>: rejected. No response.</p>
 <h3 id="too-long-version">too long version</h3>
diff --git a/_site/feed.xml b/_site/feed.xml
index db27827..760c187 100644
--- a/_site/feed.xml
+++ b/_site/feed.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.3.3">Jekyll</generator><link href="https://hejohns.github.io/feed.xml" rel="self" type="application/atom+xml" /><link href="https://hejohns.github.io/" rel="alternate" type="text/html" /><updated>2024-06-29T04:04:46-04:00</updated><id>https://hejohns.github.io/feed.xml</id><title type="html">hejohns’ jekyll site</title><subtitle>a pure waste of space</subtitle><author><name>Johnson He</name><email>hejohns α umich δ edu</email></author><entry><title type="html">archiving stack overflow (for the forest)</title><link href="https://hejohns.github.io/2024/06/17/archiving-stack-overflow.html" rel="alternate" type="text/html" title="archiving stack overflow (for the forest)" /><published>2024-06-17T00:00:00-04:00</published><updated>2024-06-29T04:03:08-04:00</updated><id>https://hejohns.github.io/2024/06/17/archiving-stack-overflow</id><content type="html" xml:base="https://hejohns.github.io/2024/06/17/archiving-stack-overflow.html"><![CDATA[<h2 id="first-iteration">First Iteration</h2>
+<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.3.3">Jekyll</generator><link href="https://hejohns.github.io/feed.xml" rel="self" type="application/atom+xml" /><link href="https://hejohns.github.io/" rel="alternate" type="text/html" /><updated>2024-06-29T04:12:55-04:00</updated><id>https://hejohns.github.io/feed.xml</id><title type="html">hejohns’ jekyll site</title><subtitle>a pure waste of space</subtitle><author><name>Johnson He</name><email>hejohns α umich δ edu</email></author><entry><title type="html">archiving stack overflow (for the forest)</title><link href="https://hejohns.github.io/2024/06/17/archiving-stack-overflow.html" rel="alternate" type="text/html" title="archiving stack overflow (for the forest)" /><published>2024-06-17T00:00:00-04:00</published><updated>2024-06-29T04:03:08-04:00</updated><id>https://hejohns.github.io/2024/06/17/archiving-stack-overflow</id><content type="html" xml:base="https://hejohns.github.io/2024/06/17/archiving-stack-overflow.html"><![CDATA[<h2 id="first-iteration">First Iteration</h2>
 
 <p>(Note: I call any stack exchange site “stack overflow”.)</p>
 
diff --git a/_site/forest/hejohns-000O.xml b/_site/forest/hejohns-000O.xml
index 3d3a66a..f984005 100644
--- a/_site/forest/hejohns-000O.xml
+++ b/_site/forest/hejohns-000O.xml
@@ -40,7 +40,7 @@ numbered="false"
 show-heading="true"
 show-metadata="true"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>275</fr:anchor><fr:taxon>Person</fr:taxon><fr:addr>hejohns</fr:addr><fr:route>hejohns.xml</fr:route><fr:title>Johnson He</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>275</fr:anchor><fr:taxon>Person</fr:taxon><fr:addr>hejohns</fr:addr><fr:route>hejohns.xml</fr:route><fr:title>Johnson He</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>29</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter>
@@ -52,7 +52,7 @@ numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>271</fr:anchor><fr:addr>hejohns-000O</fr:addr><fr:route>hejohns-000O.xml</fr:route><fr:title>About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>11</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>271</fr:anchor><fr:addr>hejohns-000O</fr:addr><fr:route>hejohns-000O.xml</fr:route><fr:title>Short About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>11</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter><fr:p>
@@ -86,7 +86,7 @@ numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>273</fr:anchor><fr:title>Extended About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>273</fr:anchor><fr:title>Extended About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>29</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors><fr:parent>hejohns</fr:parent></fr:frontmatter><fr:mainmatter><fr:p>
diff --git a/_site/forest/hejohns.xml b/_site/forest/hejohns.xml
index 7349612..f95d021 100644
--- a/_site/forest/hejohns.xml
+++ b/_site/forest/hejohns.xml
@@ -7,7 +7,7 @@ numbered="true"
 show-heading="true"
 show-metadata="true"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>799</fr:anchor><fr:taxon>Person</fr:taxon><fr:addr>hejohns</fr:addr><fr:route>hejohns.xml</fr:route><fr:title>Johnson He</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>799</fr:anchor><fr:taxon>Person</fr:taxon><fr:addr>hejohns</fr:addr><fr:route>hejohns.xml</fr:route><fr:title>Johnson He</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>29</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter>
@@ -19,7 +19,7 @@ numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>271</fr:anchor><fr:addr>hejohns-000O</fr:addr><fr:route>hejohns-000O.xml</fr:route><fr:title>About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>11</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>271</fr:anchor><fr:addr>hejohns-000O</fr:addr><fr:route>hejohns-000O.xml</fr:route><fr:title>Short About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>11</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter><fr:p>
@@ -53,7 +53,7 @@ numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>273</fr:anchor><fr:title>Extended About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>273</fr:anchor><fr:title>Extended About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>29</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors><fr:parent>hejohns</fr:parent></fr:frontmatter><fr:mainmatter><fr:p>
@@ -3295,7 +3295,7 @@ numbered="false"
 show-heading="true"
 show-metadata="true"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>787</fr:anchor><fr:taxon>Person</fr:taxon><fr:addr>hejohns</fr:addr><fr:route>hejohns.xml</fr:route><fr:title>Johnson He</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>787</fr:anchor><fr:taxon>Person</fr:taxon><fr:addr>hejohns</fr:addr><fr:route>hejohns.xml</fr:route><fr:title>Johnson He</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>29</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter>
@@ -3307,7 +3307,7 @@ numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>271</fr:anchor><fr:addr>hejohns-000O</fr:addr><fr:route>hejohns-000O.xml</fr:route><fr:title>About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>11</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>271</fr:anchor><fr:addr>hejohns-000O</fr:addr><fr:route>hejohns-000O.xml</fr:route><fr:title>Short About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>11</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter><fr:p>
@@ -3341,7 +3341,7 @@ numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>273</fr:anchor><fr:title>Extended About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>273</fr:anchor><fr:title>Extended About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>29</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors><fr:parent>hejohns</fr:parent></fr:frontmatter><fr:mainmatter><fr:p>
diff --git a/_site/forest/index.xml b/_site/forest/index.xml
index d129acd..1017d54 100644
--- a/_site/forest/index.xml
+++ b/_site/forest/index.xml
@@ -3768,7 +3768,7 @@ numbered="false"
 show-heading="true"
 show-metadata="true"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>801</fr:anchor><fr:taxon>Person</fr:taxon><fr:addr>hejohns</fr:addr><fr:route>hejohns.xml</fr:route><fr:title>Johnson He</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>801</fr:anchor><fr:taxon>Person</fr:taxon><fr:addr>hejohns</fr:addr><fr:route>hejohns.xml</fr:route><fr:title>Johnson He</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>29</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter>
@@ -3780,7 +3780,7 @@ numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>271</fr:anchor><fr:addr>hejohns-000O</fr:addr><fr:route>hejohns-000O.xml</fr:route><fr:title>About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>11</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>271</fr:anchor><fr:addr>hejohns-000O</fr:addr><fr:route>hejohns-000O.xml</fr:route><fr:title>Short About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>11</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors></fr:frontmatter><fr:mainmatter><fr:p>
@@ -3814,7 +3814,7 @@ numbered="true"
 show-heading="true"
 show-metadata="false"
 expanded="true"
-root="false"><fr:frontmatter><fr:anchor>273</fr:anchor><fr:title>Extended About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>10</fr:day></fr:date><fr:authors><fr:author><fr:link
+root="false"><fr:frontmatter><fr:anchor>273</fr:anchor><fr:title>Extended About</fr:title><fr:date><fr:year>2024</fr:year><fr:month>5</fr:month><fr:day>5</fr:day></fr:date><fr:date><fr:year>2024</fr:year><fr:month>6</fr:month><fr:day>29</fr:day></fr:date><fr:authors><fr:author><fr:link
 href="hejohns.xml"
 type="local"
 addr="hejohns">Johnson He</fr:link></fr:author></fr:authors><fr:parent>hejohns</fr:parent></fr:frontmatter><fr:mainmatter><fr:p>
diff --git a/_site/reviews.html b/_site/reviews.html
index cd520a4..b7bf52a 100644
--- a/_site/reviews.html
+++ b/_site/reviews.html
@@ -69,8 +69,8 @@ <h1 class="post-title">reviews</h1>
 
 <p>Shoutout to kaobook.</p>
 
-<style> .pdf-embed-wrap-1c3e2459-8c7b-4f0a-8b69-80dff56d40e5 { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-1c3e2459-8c7b-4f0a-8b69-80dff56d40e5 { height: 100%; } .pdf-link-1c3e2459-8c7b-4f0a-8b69-80dff56d40e5 { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-1c3e2459-8c7b-4f0a-8b69-80dff56d40e5 iframe { width: 100%; height: 100%; } </style>
-<div class="pdf-embed-wrap-1c3e2459-8c7b-4f0a-8b69-80dff56d40e5"> <div class="pdf-link-1c3e2459-8c7b-4f0a-8b69-80dff56d40e5"> <a href="/files/sample.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-1c3e2459-8c7b-4f0a-8b69-80dff56d40e5"> <iframe src="/files/sample.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
+<style> .pdf-embed-wrap-3b746764-0fa8-4b31-88cc-5395877252d9 { display: flex; flex-direction: column; width: 100%; height: 650px; } .pdf-embed-container-3b746764-0fa8-4b31-88cc-5395877252d9 { height: 100%; } .pdf-link-3b746764-0fa8-4b31-88cc-5395877252d9 { background-color: white; text-align: center; border-style: solid; } .pdf-embed-container-3b746764-0fa8-4b31-88cc-5395877252d9 iframe { width: 100%; height: 100%; } </style>
+<div class="pdf-embed-wrap-3b746764-0fa8-4b31-88cc-5395877252d9"> <div class="pdf-link-3b746764-0fa8-4b31-88cc-5395877252d9"> <a href="/files/sample.pdf" target="_blank">View PDF</a> </div> <div class="pdf-embed-container-3b746764-0fa8-4b31-88cc-5395877252d9"> <iframe src="/files/sample.pdf" frameborder="0" allowfullscreen=""></iframe> </div> </div>
 
   </div>
 
diff --git a/_site/sitemap.xml b/_site/sitemap.xml
index ebb86df..828e149 100644
--- a/_site/sitemap.xml
+++ b/_site/sitemap.xml
@@ -848,87 +848,87 @@
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/blass-1988.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/blass-2003.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/carette-kiselyov-shan-2007.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/friedman-1975.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/hoffman-1999.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/lambek-1989.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/lawvere-1970.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/maddy-2019.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/marquis-reyes-2012.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/mclarty-1990a.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/mclarty-1990b.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/millies-zeilberger-2015.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/pfenning-elliott-1988.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/quine-1960.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/stack-overflow/elementary-proof-that-in-a-topos-every-epimorphism-is-regular.html</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/stack-overflow/elementary-proof-that-in-a-topos-every-epimorphism-is-regular_files/a.html</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/stack-overflow/elementary-proof-that-in-a-topos-every-epimorphism-is-regular_files/select.html</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/stack-overflow/every-topos-is-a-regular-category.html</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/statman-1985.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/sterling-2022.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/forest/wadler-1989-ocr.pdf</loc>
-<lastmod>2024-06-29T04:04:45-04:00</lastmod>
+<lastmod>2024-06-29T04:12:54-04:00</lastmod>
 </url>
 <url>
 <loc>https://hejohns.github.io/google1be2851b772a6a30.html</loc>