CRDTs are easier than they soundThe hard part of CRDTs is not the math. It is convincing yourself the math is doing what you want.