PSEN1 and Alzheimer disease: The APP/PS1 mouse, for example, is arguably the most widely used animal model to investigate Aβ pathology progression and other features of AD.