Vitalik's proposal to rename gas

0x029a1f95ded70854d0dedca2a06439e8dfc3f1ad