spec.synchronization