The IRS is NOT part of US federal gov't