PSEN1 and Alzheimer disease: To test this hypothesis, we used the 5xFAD mouse model of Alzheimer’s disease that expresses human APP and presenilin 1, encoding five human pathogenic mutations that cause familial Alzheimer’s disease (Oakley et al., 2006).