SNCA and synucleinopathy: However, both of these models develop a spontaneous synucleinopathy, whereas the TgM20+/+ mice—which express WT human α-synuclein—do not.