diff --git a/hypergraph.md b/hypergraph.md
index 6284f1d92..79f0e692a 100644
--- a/hypergraph.md
+++ b/hypergraph.md
@@ -1,8 +1,7 @@
 # Hypergraph
 
 - a [[thing]].
+  - An [[Agora]] is a [[hypergraph]].
   - #go https://en.wikipedia.org/wiki/Hypergraph
-  -
-  - The [[Agora]] contains many [[hypergraphs]].
   - [[jonathan]] https://golem.ph.utexas.edu/category/2018/02/hypergraph_categories_of_cospa.html
     - "There are several notions which fall under the name “hypergraph”, and we do not follow conventions too closely here. For us, a hypergraph is simply a kind of graph which has different types of nodes and edges, with edges allowed to be possibly “open” in the sense that they are attached only on one end to some node. Composition of such graphs to build new graphs is possible by connecting open edges together (though we only allow edges of the same type to connect). The following picture illustrates such a composition, with different types of edges indicated by different types of lines."