Many of us know that catsup, which is the same thing as ketchup, is sometimes used in place of the more conventional term.