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.