Ketchup is eaten with hot dogs.