[impl ... ] an initial next_state