Typo in blog post?

[lemmy]

"Sequentialization

Consider an execution e of Streamlet and two steps s1 and s2 of two different processes p1 and p2 such that s1 occurs right before s2, s1 is a step of epoch e1, s2 is a step of epoch e2, and e2<e1. Note that the global state written by s2 is never read by s1 because a process in epoch e1 only uses information from epoch smaller or equal to e1. [...]"

In the blog post, should e2<e1 rather be e1<e2?

[nano-o]

Yes you are right. Thanks for reporting!