>Nothing is arbitrary nor mutable in the default state.

What do you mean with this?