* namechecking and shorter names