Es posible que me haya perdido el "feriado" real por unas horas, pero feliz Día de Clarence Thomas a los que celebran.