My real name is John Doe
Hey now, just because we're communists doesn't mean we can't have a dozen different brands of the same joke.