Add a derivation of the correction terms