By the way, it's Martin Luther King Day, and we should note that he and the other leaders of the civil rights movement got a lot of people killed. Himself, and hundreds who don't have days in their memory.