We showed that the right-derived functor to an additive functor exists if has enough injectives. Examples: , , . We also did "complex Hom", and its right-derived functors.