A number of mouse models of TSC brain disease have been generated using conditional alleles of either Tsc1 or Tsc2, and a variety of Cre recombinase alleles driven by different brain-specific promoters, typically active during embryonic development, and in some cases drug-inducible. This evidence concerns the gene TSC1 and brain disorder.