diff --git a/public/index.html b/public/index.html
index f9173c7..024dafb 100644
--- a/public/index.html
+++ b/public/index.html
@@ -34,37 +34,59 @@
 	functor.systems maintains vital digital infrastructure for its community of hackers.
   </div>
   <div class="proof">
-	We operate:
-	<ul>
-	  <li>Matrix homeserver (coming soon): <a>matrix.functor.systems</a></li>
-	  <li>Git forge (coming soon): <a>code.functor.systems</a></li>
-	  <li>The Commutative Webring (coming soon): <a>ring.functor.systems</a></li>
-	</ul>
+	We operate the following.
+	<table style="margin-top: 20px; margin-bottom: 20px;">
+	  <tr>
+	    <th>Service</th>
+	    <th>Domain</th>
+	    <th>Status</th>
+	  </tr>
+	  <tr>
+	    <td>Matrix homeserver</td>
+	    <td><a>matrix.functor.systems</a></td>
+	    <td>Coming soon</td>
+	  </tr>
+	  <tr>
+	    <td>Git forge</td>
+	    <td><a>code.functor.systems</a></td>
+	    <td>Coming soon</td>
+	  </tr>
+	  <tr>
+	    <td>The Commutative Webring</td>
+	    <td><a>ring.functor.systems</a></td>
+	    <td>Coming soon</td>
+	  </tr>
+	  <tr>
+	    <td>Attic, a Nix binary cache</td>
+	    <td><a>cache.functor.systems</a></td>
+	    <td>Tentatively coming</td>
+	  </tr>
+	  <tr>
+	    <td>Hydra, Nix continuous integration</td>
+	    <td><a>hydra.functor.systems</a></td>
+	    <td>Tentatively coming</td>
+	  </tr>
+	  <tr>
+	    <td>Grafana, resource monitoring</td>
+	    <td><a>status.functor.systems</a></td>
+	    <td>Coming soon</td>
+	  </tr>
+	</table>
 	We also provide <code>*.functor.systems</code> subdomains to our members. If you’d
 	like a <code>functor.systems</code> subdomain, please see the <a
 	href="#contact">contact information</a> below.
   </div>
   Most of our infra is hosted on various homelabs operated by members, running
-  NixOS 25.05 (Warbler). See the <a>Grafana</a> for status and vitals (coming soon).
-  <h2 id="contact">
-	Contact and join
-  </h2>
-  <p>
-  It is sufficient, but not necessary to be a member of
-  <code>functor.systems</code> to use our infrastructure. That is, all
-  <code>functor.systems</code> members can freely use or request
-  infrastructure, but friends and other non-members <b>may</b> be given access.
-  </p>
-  <p>
-	If you’d like to request access to any infrastructure, or membership,
-	please contact the webmaster: <a
-	href="mailto:youwen@functor.systems">youwen@functor.systems</a>.
-  </p>
-  <p>
-	In general, any friends of existing members, or anyone with a reasonable
-	interest in our projects will be granted membership and/or access upon
-	request.
-  </p>
+  NixOS 25.05 (Warbler). See <a>status.functor.systems</a> for status and vitals (coming soon).
+  <div class="theorem">
+    functor.systems is a project incubator for its members.
+  </div>
+  <div class="proof">
+    Following Theorem 1, we provide digital infrastructure for members’
+    projects as well as technical and community support. Additionally, the
+    organization is suitable for hosting communal projects that make more sense
+    managed and maintained collectively than in a personal account.
+  </div>
   <h2>Members</h2>
   <table>
 	<tr>
@@ -78,16 +100,41 @@
 	  <td>Webmaster, Benevolent Dictator</td>
 	</tr>
 	<tr>
-	  <td>Warren “Kaitotlex” Lin</td>
+	  <td>Warren “Kaitotlex”</td>
 	  <td><a target="_blank" href="https://kaitotlex.systems">kaitotlex.systems</a></td>
-	  <td>EE hacker, delinquent.</td>
+	  <td>EE hacker, delinquent, founding member</td>
+	</tr>
+	<tr>
+	  <td>Ananth “quantum9innovation”</td>
+	  <td><a target="_blank" href="https://mit.edu/~ananthv/www">mit.edu/~ananthv/www</a></td>
+	  <td>Intrepid Haskeller, undergrad category theorist, founding member</td>
 	</tr>
   </table>
+  There are no membership dues—rather, members are encouraged to donate
+  infrastructure and time as available.
+  <h2 id="contact">
+	Contact and join
+  </h2>
+  <p>
+    It is sufficient but not necessary to be a member of functor.systems to use
+    our infrastructure. That is, all functor.systems members can freely use or
+    request infrastructure, and in addition, friends and other non-members <b>may</b> be
+    given access.
+  </p>
+  <p>
+	If you’d like to request access to any infrastructure—or a membership—please contact the webmaster: <code><<a
+	    href="mailto:youwen@functor.systems">youwen@functor.systems</a>></code>.
+  </p>
+  <p>
+	In general, any friends of existing members or anyone with a reasonable
+	interest in our projects will be granted membership and/or infra access
+	upon request.
+  </p>
   <h2>
 	Miscellaneous
   </h2>
   <p>
-    Suggest an edit on <a href="https://github.com/youwen5/functor.systems/edit/main/public/index.html" target="_blank">GitHub</a>.
+    Suggest an edit to this page on <a href="https://github.com/youwen5/functor.systems/edit/main/public/index.html" target="_blank">GitHub</a>.
   </p>
 </body>
 </html>