TNF and infection: For instance, in one study, these two mice lineages were used for obtaining mice defective in TNF-α and IFN-γ and to study the implication of these two molecules in the formation of granuloma upon M. tuberculosis infection and control of the infection [158].