We performed Iba1 staining to analyse morphological modifications in the ACC to compare WT and P2X4KO, and to explore possible differences in microglial reactivity between the two genotypes under ADHD-like vs. sham conditions (Figure 4A). Here, AIF1 is linked to attention deficit-hyperactivity disorder.