BUT WHAT IS ketchup packet, REALLY?