TNF and infection: The model used entailed aerosol inhalation infection of WT mice, TNF−/− mice and Tm-TNF mice with 100 viable M. tuberculosis H37Rv bacilli.