SyncSwap (∎, ∆)