 are equally important, and we've got to remember them. And that's another thing in a country like ours, that on July 4th, we should celebrate not just the leaders, but we should celebrate each other and make space for everybody's history. But I'm glad you mentioned the guys who did the work, because without them, there's no declaration. There's no fake names in there, like Dick Hertz or...