proper final_set