Carbon Taxes in Theory and Practice | Synapse