private void EnsureNotPaused() { // Abort all activities when paused if (paused) throw new InvalidOperationException("All new activities are paused"); }