TREX1 and Aicardi-Goutieres syndrome: One prominent example is that genetic KO of cGAS reverses the autoimmunity-related phenotype in a Trex1-deficient Aicardi–Goutieres Syndrome mouse model42,43.