Is there a design document for this? I am curious about how this handles synchronization.