Havoc, Destruction Demon

Havoc, Destruction Demon's power, and toughness is equal to the number of creatures that have been destroyed
{1}{b/r}{b/r}{t} Destroy target creature. You lose 2 life
When Havoc, Destruction Demon dies,
put all cards in the graveyard, battlefield,
or exile into their owner's library
Then search your library for a card named Havoc, Destruction Demon