APP and Alzheimer disease: For example, conditional deletion of GSK-3 in the brain of AD transgenic mouse models (mice expressing APP mutant, tau mutant, or double transgene expressing APP/PS1 mutants), was reported to reduce β-amyloid loads and levels of tau phosphorylation, and to decrease the formation of neurofibrillary tangles [30,61].