* can be used to convert a {@link State} into another {@link State}. This can
* be used to extract further information from a state.
* <p>
* can be used to convert a {@link State} into another {@link State}. This can
* be used to extract further information from a state.
* <p>