initial state revised to match revised script