What Is Jerry Short For