Cool! I’ve spent a lot of time building OT and CRDT based collaborative editing. What approach did you go with for quadratic? What were the pain points you had with existing systems that motivated you to write your own?