TSC1 and tuberous sclerosis: For this a neuronal Tsc1 cKO mouse model of tuberous sclerosis was characterized to determine the effect on tau protein levels in the brain.