Carbon dioxide cycle via electrocatalysis: Electrochemical carboxylation of CO2 and decarboxylative functionalization of carboxylic acids | Synapse