The first 2 have nothing to do with refunding of tax credits and double taxation. Lumping all types of revenue together is odd imo.
