deterministic case