Auton Soldier - [Extended Art] Doctor Who (WHO) TOP500 you may cast target instant

you may cast target instant card from your graveyard without paying its mana cost

that player searches the top four cards of that library instead

" —Bruenna

for each kind of counter on permanents you control

that player untaps Karona

Auton Soldier - [Extended Art] Doctor Who (WHO) TOP500 you may cast target instantYou 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.)