Fill in propagateState.