Symbol: free_groups