TNF and arthritic joint disease: Similarly, IRF1 was highly expressed in the inflamed synovium in human TNF transgenic (hTNFtg) mice (Fig. 1c, d) that constitutively overexpress human TNF, and consequently develop spontaneous arthritis.