The initial state