+petra (4)
: Target player chooses a card name, then reveals the top card of their library. If that card has the chosen name, that player puts it into their hand. If it doesn't, the player puts it into their graveyard.
When Petradon enters the battlefield, exile two target lands.
When Petradon leaves the battlefield, return the exiled cards to the battlefield under their owners' control.
: Petradon gets +1/+0 until end of turn.
( can be paid with either or .)
When Petrahydrox becomes the target of a spell or ability, return Petrahydrox to its owner's hand.
When Petravark enters the battlefield, exile target land.
When Petravark leaves the battlefield, return the exiled card to the battlefield under its owner's control.
Gatherer works better in the Companion app!
: Petradon gets +1/+0 until end of turn.