TSC1 and tuberous sclerosis: Notably, he had clinical manifestations of tuberous sclerosis, confirmed by a pathogenic germline mutation in the TSC1 gene.