How to phase out residential gas equitably