What Is Carter Short For