Symbol: free_derives