Cármen Lúcia poderia continuar como ministra TSE até dia 3 de junho. No entanto, abriu mão. O sucessor é Toffoli, mas é necessário eleição