CO2 leak detector fixed point