I need help to settle a disagreement. During a recent Commander game, my opponent played a Devastation Tide, Return all nonland permanents to their owners' hands. He had 4 tokens out, and claims this did not apply to the tokens. His logic was that tokens would not return to his hand since they never were actually cast, so they should remain.
I disagree for 2 reasons, first I play Duels as well and the table version, and that game counts tokens as permanents. Second, from my understanding, with a few minor exceptions, a nonland permanent would be ANYTHING except an instant, sorcery, artifacts, equipment, etc. that is not 'permanently' on the battlefield.
In the above scenario, the tokens should have been eliminated, I believe. Is this correct?