An electrochemical and spectroelectrochemical (IR) investigation of the reduction of RCo(II)TPP (R=benzyl or butyl; TPP=tetraphenylporphyrin): mechanistic implications in the CoTPP catalyzed electrocarboxylation of alkyl halides