APP and Alzheimer disease: APP/PS1 mice, which express human mutant APP and PS1 (Garcia-Alloza et al., 2006), are commonly used as an Aβ-induced AD model.