Kozilek, Butcher of Truth

When you cast Kozilek, Buthcer of Truth,
draw four cards,
Annihilator 4 (Whenever this creature attacks,
defending player sacrifices four permanents.)
When Kozilekis put into a graveyard from
anywhere, its owner shuffles his or her
graveyard into his or her library.