According to a recipe, each serving of Virginia’s Famous BBQ sauce uses $7$ teaspoons of ketchup and $3$ teaspoons of vinegar. If we make a batch that uses $21$ teaspoons of vinegar, how many teaspoons of ketchup are needed?