A classroom game on a negative externality correcting tax: Revenue return, regressivity, and the double dividend. Issue 2 (3rd April 2017)