What Is Butch Short For