in that case they usually serve ketchup as condiment