"O presidente da República já nomeou os dois juízes para o TSE. Nomeou o professor Floriano de Azevedo Marques Neto na vaga decorrente do término (do mandato) do ex-juiz Sérgio Silveira Banhos. E nomeou o professor André Ramos Tavares na vaga de primeiro mandato do professor Carlos Bastide Horbach", disse Alexandre de Moraes.