How should you resolve this issue?
Tyler plays Sonata Arcanix and pitches a blue card. He declares that he is only paying 2 into it. So it should be 1-1 for the XX cost and should only reveal the top 4 cards of his deck. However, he is a new player and thought if he pays 2 mana then he will get to look at the top 5 cards. Essentially he thought 1 mana equals 1 additional card he can reveal. Before Nic could correct him, Tyler reveals 5 cards from the top of his deck and the game immediately stops and a judge is called.
How should this mistake be resolved?