Roleplay talk:Secret Discord/Part1/@comment-32220816-20170627230501/@comment-26053663-20170628021433

I mean, that's not really a pun. It's more like a clever naming theme thing. Puns are really more wordplay than thematic... stuff.