Project reduction, minus baseline emissions, minus leakage emissions, equals total credits