Finished section on calculating structure on derived functors.