Design simplicity of different carbon pricing systems