David Cullinane (Waterford, Sinn Fein) | Oireachtas source

That is fine. I will turn to the substantive issue. The gross cost of capitalising the banks, according to the Comptroller and Auditor General's office, is €66.8 billion, the net cost to the State is €39.9 billion and there is an average cost of between €1 billion and €1.4 billion a year to service the associated debt. These are the headline figures in the Comptroller and Auditor General's report. All of this is a consequence of the fact the State essentially recapitalised the banks and, as a consequence of that, nationalised some of these banks as well. Is that correct?