So now, when hot dog joints, Chicagoans, or just Illinois residents, in general, don't want ketchup on their dog, it's not a ...