Kozilek Butcher of Truth

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