Starting state resolved.