If this is independent of the refining into gas, then all's well with your math. I think we agree ... that if there's less gas being refined, then there's less

If this is independent of the refining into gas, then all's well with your math. I think we agree ... that if there's less gas being refined, then there's less energy being used to do that ... if and only if gas refining is independent of refining into all the other products. If, on the other hand, refining into the other products efficiently ends up making gas anyway, then that's different.