Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é a data da instalação formal do sucessor que tem um Estado (classe) de Michigan (2)?
 ###Tabelas: CREATE TABLE fleet_roster (fleet_roster_id AUTO_INCREMENT PRIMARY KEY, Order Year VARCHAR, Builder VARCHAR, Model VARCHAR, Length (ft.) VARCHAR, Engine/Transmission VARCHAR) CREATE TABLE by_configuration (by_configuration_id AUTO_INCREMENT PRIMARY KEY, Rocket VARCHAR, Country VARCHAR, Type VARCHAR, Launches INT, Successes INT, Failures INT, Partial failures INT) CREATE TABLE 1989 (1989_id AUTO_INCREMENT PRIMARY KEY, Opposing Teams VARCHAR, Against INT, Date VARCHAR, Venue VARCHAR, Status VARCHAR) CREATE TABLE senate (senate_id AUTO_INCREMENT PRIMARY KEY, State (class) VARCHAR, Vacator VARCHAR, Reason for change VARCHAR, Successor VARCHAR, Date of successor's formal installation VARCHAR) CREATE TABLE nevada_places_ranked_by_per_capita_income (nevada_places_ranked_by_per_capita_income_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Place VARCHAR, County VARCHAR, Per Capita Income VARCHAR, Median House- hold Income VARCHAR, Population INT, Number of Households INT)  
SELECT Date of successor's formal installation FROM senate WHERE State (class) = michigan (2)