You may have meant this, but just to clarify - they're developing methods of lowering the CO2 output (and financial cost) of their concrete weights, not concret

You may have meant this, but just to clarify - they're developing methods of lowering the CO2 output (and financial cost) of their concrete weights, not concrete in general; they do this by not having to meet the structural strength requirements of regular concrete.