What if you don't use ketchup?