Most of the double-counting formulas were historically derived by approximating the Hubbard interaction term (defined with the help of matrix elements Eq. 33) by some static approximation, either in the atomic limit, or, in Hartree-Fock limit. Such static approximations were argued to be a good substitute for the LDA treatment of the Hubbard interaction. Hence, the problem arrose, because it is...