Contravariantly finite resolving subcategories of the category of finitely generated modules have been playing an important role in the representation theory of algebras. In this paper we study ...