[lee martell]

It depends on what brand of ketchup is available at the time.

[Ken H]

“It depends on what brand of ketchup is available at the time.”

---

Hewlett-Packard ketchup is the best.