Polymorphic Lamia

When Polymorphic Lamia enters the battlefield, search target opponent's library for a creature card, put that card onto the battlefield, then shuffle that player's library. Then, if your devotion to green is six or more, put X +1/+1 counters on Polymorphic Lamia, where X is that creature's converted mana cost.