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.