HAVCR2 and infection: Following infection of these mice, deletion of TNF signaling significantly reduced the expression of Tim3 on NK cells, both in the spleen and liver (Fig. 4a–c), confirming that TNF is a driver of Tim3 upregulation during S. Typhimurium infection.