The functionalization of saturated hydrocarbons. Part 25. Ionic substitution reactions in GoAggIV chemistry: the formation of carbon-halogen bonds