Paradox?

Jeff I believe the game should be in Pause at the moment. Proposal #1 is paradoxical isn't it? It first states that Name must be a non-negative integer, then it defines it in two cases (fort and warrior) with names something similar to a string, not a non-negative integer. Hence a paradox, no?