Regressive Sin Taxes, with an Application to the Optimal Soda Tax* | Synapse