Editorial: Raising the gas tax is good public policy