TSC2 and epilepsy: In a mouse model, conditional knockout (CKO) of TSC2 in GFAP-positive cells also produces a more severe epilepsy phenotype than TSC1 CKO [96].