[Godel_unicode]

I don't remember the whole story, but the original username I was going to use was going to be gödel and then something about incompleteness. Since Unicode isn't allowed for usernames here, I changed it to this.

[rPlayer6554]

Ahhh, I see. Good joke, you have my upvote. :)