initial state (not tested)