Tomato Sauce and Ketchup aren't quite the same thing here - ketchup is probably stronger and thicker, but they are used the same way.