Is there a document that explain the consistency model in depth? I want to know a bit about the internals as well. Or I just need to read the source?