no errors, formal list --> ID