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 his or her graveyard into his or her library.