TSC2 and tuberous sclerosis: A crossed line was generated (Way et al., 2009) that produced mice with one functional Tsc2 allele (Tsc2f/-;Cre); this line was examined because these mice model a TSC patient with one non-functioning TSC2 allele.