That’s so funny!
I’m stealing it.
lol - they got zero sense of humor there - maybe you could include the employees of the IRS as dependents