The table shows the ingredients for one batch of barbecue sauce. Anne has 9 cups of ketchup and makes the greatest number of whole batches of barbecue sauce possible. How much ketchup remains?