Ontify
A spectral sequence that computes the derived functors of the composition of two functors G ∘ F G\circ F, from knowledge of the derived functors of F F and G G.