AQP4 and Alzheimer disease: The 5xFAD/AQP4 KO mice model can be a good tool for identifying the relationship between AD and epileptiform activity.