Death Bringer

When Death Bringer enters the battlefield, target player mills 20 cards.
If a player would lose the game, they mill 20 cards and lose all life except for one.
If a player would run out of cards in their library, they shuffle their hand into their library instead.
{x}{t}, pay 20 life: target player loses the game