Jagras Horde

Jagras Horde gains +1/+1 for every other card named Jagras Horde in play
If Jagras Horde would leave the battlefield shuffle a copy of it into every players library.
On the beginning of your end step play Jagras Horde if you have enough mana for it.