Hal Jordan, Green Lantern

Flying, Vigilance
When Hal Jordan, Green Lantern enters the battlefield, you may search your library for a card
named Green Lantern's Ring. Reveal it and put it
into your hand. If you do, shuffle your library.
Lantern's Light (Whenever this creature attacks, create a 0/0 green artifact construct token with;
flying this creature gets +1/+1 for each creature
on the battlefield.)