Added preliminary definition for initial states