Initial state set added.