The Htra1–/– mice have also been used to study cerebral autosomal-recessive arteriopathy with subcortical infarcts and leukoencephalopathy (CARASIL) pathogenesis where loss of HTRA1 causes increased vascular smooth muscle cells in the thoracic aorta (85). The gene discussed is HTRA1; the disease is CARASIL.