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. Here, SNCA is linked to Down syndrome.