Synchronization

9.1 (withdrawn).

9.2 (withdrawn).