Thanks, Denis.
Mr. Pacetti, I thank you for your question.
If you look at something more simple--I don't get 56.4 either--the total tax contribution survey that was conducted by Pricewaterhouse for the Council of Chief Executives looked at this pot of taxes collected. A total of $10 billion was collected in taxes. Of the 46 taxes borne by the participants in the survey, 24 of those taxes generated 6% of income for the government. That doesn't make sense.