start state defines