TNF and arthritic joint disease: Hence, in an TNF-overexpression model of arthritis (TNFΔARE mice), which resembles an effector model of arthritis with features partly resembling human spondyloarthritis (SpA), mice that had been voluntarily running developed significantly exacerbated disease (Fig. 1h)).