u: even if you interpret "For every apioforum user named u there is an Object with the Name "Player u"." as only referring to the user named u (rather than as a metasyntactic variable), i don't see how it follows that you'd be able to create "Player ubq323 MoneyRequest" or "Player ubq323"? Any objects created by "Player u" must have a name prefixed with "Player u"