Minor change.
Explained that mutable state is allowed to be invalid.
Removed (not used in CDD 1 either).
Removed (not used in CDD 1 either).