initial state is revised