The category of good modules over a quasi-hereditary algebra. On contravariantly finite subcategories