Yes, that would be consistent with `Deterministic`