In this lecture I explain how to exploit cofibrant and fibrant replacement in order to construct explicitly the homotopy category of a model category.  I prove that we really do obtain a category, which is the target of a functor from the given model category sending any weak equivalence to an isomorphism.