Facts. Ketchup is a condiment for little babies.