The goal is - and I think they have achieved it - is that you don't have to think about it. They handle sync, and they do it reliably.
Then they have solved one of the fundamental hard things in computer science.
Then they have solved one of the fundamental hard things in computer science.