APP and Alzheimer disease: Robust evidence confirming the amyloid cascade hypothesis has been gathered from studies of AD transgenic mice carrying human missense mutant APP and presenilin-1 (PS1) genes, which encode mutant human APP and PS1 proteins that can produce much more Aβ, especially Aβ42 [9], [12].