Kozilek, Butcher of Truth [Modern Masters 2015]

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