In this lecture I conclude the proof of the existence of left derived functors, by constructing the required natural transformation and establishing its universal property.  I also describe the important special case where the functor considered is given by the composite of a functor between model categories, post-composed with the localization functor to the homotopy category of the codomain, leading to the notions of total left and right derived functors.