Ketchup is a condiment.