the x ~ x + N() notation is a bit unconventional, although I suppose for the audience it might be fine? alternatively, we could do something like x ~ x + epsilon \\ epsilon ~ N(). Not sure if it really matters for this example, just my 2-cents! (it is nice to have everything in one line.. )

love the lead-in to mean reversion!

> The recursions for the looks like some text is missing before introducing the first equation here?

quitea -> quite a