PSEN1 and Dravet syndrome: Interestingly, unlike the 5xFAD and APP/PS1 strains, which express mutated human Aβ, mice expressing the FTD-related K257T/P301S tau mutation and Dp1Tyb mice modeling DS, exhibit fewer ELS than age-matched WT mice.