ATXN3 and Machado-Joseph disease: The SCA3/MJD mice that carry the ATXN3 were genotyped and phenotyped.