TNF and tuberculosis: We intend to generate proof-of-concept evidence using a Nos2−/− mouse model [after neutralization of tumor necrosis factor alpha (TNFα)], which presents hypoxic necrotizing lung lesions and has been found reliable for pre-clinical testing of several anti-TB drugs (Duque-Correa et al., 2014; Gengenbacher et al., 2017; Reece et al., 2010).