Proof of Carbon Reduction related domains (2)