HTRA1 and Leukoencephalopathy: 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).