What Is Alvin Short For