PSEN1 and Alzheimer disease: In another study, thy1-GFP M mice were crossed with presenilin-1-M146V knock-in (PS1-KI) mice (AD model) to generate PS1-KI-GFP mice for in vivo hippocampal mushroom spine analysis.