For example, Down Syndrome and Lewy Body Disease were matched against instances of mouse models containing alterations of genes encoding proteins known to be affected in the disorder; MAPT (encoding tau) for Down Syndrome and SNCA (encoding alpha-synuclein) for Lewy Body Disease. This evidence concerns the gene MAPT and Lewy body dementia.