Interestingly, HDC knockout mice have also been proposed as a genetic animal model of TS. The gene discussed is HDC; the disease is Timothy syndrome.