Was doing some reading and stumbled on this, doesn't seem to have been discussed as far as I can tell but thought folks might find it interesting.

I hadn't heard of multi sequences in this context before. They seem sort of vector clock-y.