UPP1 and Leigh syndrome: A limitation of mouse models is that a mutation in the mouse homolog of a human gene does not always recapitulate the phenotype observed in humans, as seen in the Tymp/Upp1-DKO mouse model of BTHS and the Surf1-KO model of LS.