BUT WHAT IS ketchup, REALLY?