Unique_name_assumption