Lucifer, Fallen Angel

First Strike
When Lucifer, Fallen Angel deals damage to a
player, each opponent mills two cards.
Whenever an opponent would mill one or more
cards, they mill twice as many cards instead.
When Lucifer, Fallen Angel leaves the
battlefield, target player mills half their library
rounded down.