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.