TNF and rheumatoid arthritis: Spontaneous RA can be modeled using genetically modified mice, such as human TNF transgenic mice, IL-1Ra knockout mice, double transgenic K/BxN (showing cross-reactive autoantibodies against glucose-6-phosphate isomerase) and SKG transgenic mice [56,57].