the initial state