Perfect! I loathe ketchup and just thinking about the flavor makes me kinda gag. Mustard, BBQ, ranch, salsa, etc. are all fine, but any ketchup will ruin my food. (And, yes, I'm serious. Ketchup is just gross.)
So, to take your metaphor, if I go out for a burger, it may come with ketchup, no...