proper name syntax