MAPT and Alzheimer disease: Conversely, a similar argument could be made for Aβ pathology in the absence of tauopathies, as many AD models, such as AppNL-G-F/NL-G-F, J20, AβPPswe/PS1∆E9, Tg2576 and others, generate various forms of progressive sleep deterioration while lacking aberrant or modified tau expression.