Anagram carboxylation