Are there really that many different ways to eat ketchup?