. . . "It then simulates the model, finding that if meeting abatement targets is the goal, regulating the supply side of the market and convex fine schedules are the most effective tools." .