diff --git a/hypergraph.md b/hypergraph.md
index 2da133483..2f202b617 100644
--- a/hypergraph.md
+++ b/hypergraph.md
@@ -3,6 +3,7 @@
 - [[go]] https://en.wikipedia.org/wiki/Hypergraph
 - The [[agora]] is a [[hypergraph]].
 - [[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."
 
 
 
diff --git a/jonathan-the-utopian.md b/jonathan-the-utopian.md
index e3d5ddaa8..d1f0c75b4 100644
--- a/jonathan-the-utopian.md
+++ b/jonathan-the-utopian.md
@@ -30,7 +30,11 @@
   - [[groups]]
     - node [[bourbaki]]
   - [[stoas]]
-
+- [[pivoting]]
+  - [[braiding]]
+    - something is [[symmetric]] if [[braiding twice is identity]]
+    - [[braid]] [[hofstadter]] 
+  - [[twist]]
 ## Telegram
 ### [[2020-12-18]]
 - Jonathan thinks [[utopoi]] is not persistent; it will live for a while and then die, like an organism. But this applies mostly to the physical part; the digital part might endure.
@@ -63,6 +67,7 @@
 [category theory for programmers]: category-theory-for-programmers "Category Theory for Programmers"
 [agora]: agora "Agora"
 [users]: users "Users"
+[hofstadter]: hofstadter "Hofstadter"
 [2020-12-18]: journal/2020-12-18 "2020-12-18"
 [wittgenstein]: wittgenstein "Wittgenstein"
 [2020-12-12]: journal/2020-12-12 "2020-12-12"