diff --git a/content/rooms/fragments/v2-state-res.md b/content/rooms/fragments/v2-state-res.md index f43b0a9e..b9e131f9 100644 --- a/content/rooms/fragments/v2-state-res.md +++ b/content/rooms/fragments/v2-state-res.md @@ -107,7 +107,7 @@ Now compare these two lists as follows. * If such a *j* exists, then *ej* = *Pi* for some unique index *i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater than any integer. -* In both cases, the *position of e in the mainline of P* is *i*. +* In both cases, the *mainline position* of *e* is *i*. The *mainline ordering based on* *P* of a set of events is the ordering, from smallest to largest, using the following comparison relation on