The assumption is that heating with gas/wood/coal whatever is cheaper than heating with electricity - is the profit made from mining including that - your point

The assumption is that heating with gas/wood/coal whatever is cheaper than heating with electricity - is the profit made from mining including that - your point stands though.