SPAST and hereditary spastic paraplegia: However, two independently generated Spastin knockout mouse models failed to recapitulate major HSP hallmarks [124,125], questioning the validity of the haploinsufficiency model.