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.