initial states