What Is Patty Short For