That’s the thing. If you pay people to figure it out, they will. It’s only through massive defunding that the IRS has become completely incompetent. They used to be quite good at their jobs.