A gas tax could be one important element of an integrated energy policy.