Does ketchup belong on hot dogs or ketchup?