Auton Soldier - [Extended Art] Doctor Who (WHO) TOP500 You may exile a red

You may exile a red card with mana value X from your hand rather than pay this spell's mana cost

that player searches the top four cards of that library instead

that player untaps Karona

melt auras

You may pay {W}{U}{B}{R}{G} rather than pay the mana cost for spells that you cast

Auton Soldier - [Extended Art] Doctor Who (WHO) TOP500 You may exile a redYou may have Auton Soldier enter the battlefield as a copy of any creature on the battlefield, except it isn't legendary, is an artifact in addition to its other types, and has myriad. (Whenever it attacks, for each opponent other than defending player, you may put a token that's a copy of this creature onto the battlefield tapped and attacking that player or a planeswalker they control. Exile the tokens at end of combat.)