Some of the most commonly used mouse strains to study thrombosis and myocardial infarction in SLE are mice with mutations in Fas or FasL, or with overexpression of Toll-like receptor 7 (TLR7). Here, FAS is linked to systemic lupus erythematosus.