Thanks for writing it. It's always good to read thorough implementation details and have them readily accessible even in a causal programming environment. I especially appreciated the conflict resolution section