TSC1 and epilepsy: It is believed that heterozygous mutation of Tsc1 or Tsc2 results in the onset of TSC in humans; however, heterozygous knockout of Tsc1 or Tsc2 did not cause hamartoma formation or epilepsy in a mouse model.