Kozilek, Butcher of Truth

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