I admit the claim is overly grandiose, especially in this particular case where there&#x27;s still a decent gap between core.async and CSPM. If one generated Haskell code directly from CSPM it might be a stronger claim for that, but I haven&#x27;t had a chance to try this yet. It would be interesting to see if it would be possible to develop tools to prove correctness of e.g. core.async programs.<p>Having a stream of every unique action and making sure everyone gets the stream of actions and applies them in order was another approach I&#x27;ve thought about, if that&#x27;s what you mean here. I may have to try rewriting in this style. What I think is interesting about the algorithm I was shooting for is that you can miss events and just diff with the current state. But it may be that this is just an overly complex approach. If you have any other pointers or links as to how you might implement it in your described style I would be interested.