Discussed 'calculus of derived functors' a little