We have to be careful we don't muddy the waters further. What is a "synchronized state"?

It'd be good to rewrite this portion, yes, but ensure we're improving the clarity. We want to express as concretely as possible what's taking place.... so, the fact that a synchronized state is when all code that we're making assertions against has finished executing. It's very easy for people's imaginations to come into play when we don't bring things back to concrete reality, and that's never a good state to be in when explaining things to people IMHO.