“IRS problem started with vague tax exemption rules”