TNF and colitis: To generate a mouse colitis model dependent solely on human TNF expression, we transferred naive T cells isolated from hTNF-KI donor animals into offspring of hTNF-KI mice crossed with Rag1−/− mice (Fig. 1A)21,22.