Given this paragraph about Grumpy Cat, tell me the cat's real name.

Grumpy Cat was actually a nickname for the famous internet celebrity meme cat. Her real name was Tardar Sauce.