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.