is this abbreviation here really necessary?