@@ -182,7 +182,7 @@ reverse order. How do we activate a core?
183Since we have only one formula, it's the battery itself.
183Since we have only one formula, it's the battery itself.
184Thus we want to execute Nock with the whole core (already the
184Thus we want to execute Nock with the whole core (already the
185−subject, and the entire battery (slot `2`). Hence, `a` is
185+subject, and the entire battery (slot `2`)). Hence, `a` is
188[2 [0 1] [0 2]]
188[2 [0 1] [0 2]]