TSC1 and tuberous sclerosis: Mouse models of TSC show that homozygous Tsc null mice are embryonic lethal, while the heterozygous mice are viable and fertile.