 Ruetsche (2003) argues that it is important in this connection whether the modal interpretation is viewed as leading to a hidden-variables theory, in which value states are added as hidden variables to the original formalism in order to obtain a full description of the physical situation, or rather as an interpretive move that equips the original formalism with a new semantics (see also Section 11). In the first case one would expect a full dynamics of actual properties, in the second this is not so clear.