TREX1 and Aicardi-Goutieres syndrome: Accordingly, the phenotype of Trex1-deficient mice is perhaps the most extensively characterized of all AGS-associated models.