In contrast to WT mice, TNF receptor-deficient mice did not have detectable CD62E staining after infection, nor did they have any detectable thrombi. The gene discussed is SELE; the disease is infection.