Yeah, I don't understand it either. I don't understand how we "fast-forward" the clock,, given we never merge with the context- vclock, we just check if the current vclock supersedes it.