Bush nominó a John Roberts para sustituirla.