initial state3