Adaptation policies running on the CoFi local proxy (as described in Section 3.1) control the propagation of user modifications to the CoFi remote proxy. Update propagation involves four stages: acquiring user modifications, resolving conflicts, transmitting modifications to the remote proxy, and synchronizing the modifications with the document's native store.