The only problem is externality pricing.

Building https://negationgame.com

Delver at contraptions.venkateshrao.com, running summerofprotocols.com, host of /gloom ☀️

Army noodles with ketchup

https://www.youtube.com/watch?v=JZpoX9WjZ7M

Ketchup is a dip 
Or condiment.
Not a sauce

Why?

Ketchup is a category of sauces (check out banana ketchup, for instance)

As a friend of mine, I would say to you - if in the future if you’re ever trying to figure this out and I’m not around 😜 , most of the time - but not always - a condiment contains or is made with vinegar, whereas a sauce is not typically vinegar based.

You can add it to sauce to make it more ketchupy, therefore it is a spice.