“There are around 40,000 CRA employees, fully half the number of people employed by the Internal Revenue Service in the U.S., a country nine times our size.”