A remove() operation of (element, timestamp) is recorded in remove_set before the corresponding element exists in add_set. A previously existing element has been deleted in lww-set, i.e., the element ...