TREX1 and Immunodeficiency: Whereas SAVI mice exhibit inflammatory lung disease, T cell cytopenia, and immunodeficiency (5, 6), TREX1-knockout animals develop lupus-like disease characterized by cardiac inflammation without lung disease (5, 22).