@@ -27,7 +27,7 @@ between opening and closing `==`.
2727formal identity to the interpreter, which may or may not be able
2828to recognize and/or accelerate it.
2929
30−Registered cores are are organized in a containment hierarchy.
30+Registered cores are organized in a containment hierarchy.
3131The parent core is at any leg within the child core. When we
3232register a core, we state the leg to its parent, in the form of
3333wing `q`. We assume the parent is already registered -- as it