proper resolved number