Abel is playing in a Standard PPTQ against Nick. Abel taps 4 Plains, declares ‘Cast Gideon, Ally of Zendikar’, and puts a card from his hand onto the table. He then says ‘make a knight’, and puts a 2/2 Knight Ally token into play, and says ‘your turn.’ After he draws for turn, Nick is evaluating the board state and notices that the card in play is Gideon of the Trials, not Gideon, Ally of Zendikar. The players call for a judge, and when you arrive you verify that there is in fact a Gideon, Ally of Zendikar in Abel’s hand, he simply put down the wrong card.
What do you do?
Judges feel free to answer on Judge Apps!answer