Geralf's Laboratory

When Geralf's Laboratory enters the battlefield,
each player's life total becomes equal to the
number of cards in their library
Whenever a player loses life, That player puts
that many cards from the top of their library into
their graveyard.
Whenever a player gains life, That player
shuffles that many random cards from their graveyard into their library.