TNF and tuberculosis: Therefore we incorporated TNF in our deterministic model to predict the potential effect of HAART on coinfection of HIV and TB.