Kozilek, Butcher of Truth

When you cast this spell, draw four cards.
Annihilator 4
When Kozilek, Butcher of Truth is put
into the graveyard from anywhere, it's owner shuffles their graveyard into their library.